Lucas Zavalia

Registered user since Fri 23 Dec 2022

Name:Lucas Zavalia
Bio:

I was originally born in Argentina, but moved to the United States when I was a child. I got my undergraduate BS degree in mathematics/computer science from Florida State University. I entered the PhD program in 2020 and began working on research involving structural induction over algebraic data types.

Country:United States
Affiliation:Florida State University Tallahassee
Research interests:Model Checking, Type Theory, Functional Programming

Contributions

Show activities from other conferences

POPL 2023-profile
View general profile