conf.researchr.org / 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
GitHub: https://github.com/lzavalia
Research interests:Model Checking, Type Theory, Functional Programming
Contributions