I am a first-year PhD student in the Department of Computer Science and Engineering at the University of Michigan. My advisor is Professor Max New. In May 2021, I obtained my MSE in Computer and Information Science from the University of Pennsylvania. During my time at Penn, I was fortunate to work with Professor Stephanie Weirich on the hs-to-coq tool as part of an independent study. Previously, I attended Rutgers University New Brunswick, where I studied Computer Science and Math.

My research interests are primarily in the theoretical study of programming languages. I am especially interested in applying tools from mathematics (e.g., category theory) to build and analyze programming languages. More broadly, I am also interested in theoretical areas of computer science as a whole, including Theory A topics (e.g., computational complexity theory).

email: ericgio AT umich DOT edu


Research Projects

Talks and Presentations