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

VMCAI 2023 Solving Constrained Horn Clauses over Algebraic Data Types
Show activities from other conferences

Using general profile