Registered user since Fri 23 Dec 2022
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.
View general profile