Welcome!

I am a fourth-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
News
- January 2025: I will be attending POPL 2025 to present our paper "Denotational Semantics of Gradual Typing using Synthetic Guarded Domain Theory".
- November 2024: Our paper "Denotational Semantics of Gradual Typing using Synthetic Guarded Domain Theory" has been accepted to POPL 2025!
- October 2023: Attending SPLASH 2023 in Portugal to present our paper "Gradual Typing for Effect Handlers".
- September 2023: Officially achieved PhD candidacy!
- August 2023: Our paper "Gradual Typing for Effect Handlers" has been accepted to OOPSLA 2023!
- June 2023: Attending PLDI 2023 virtually as a student volunteer.
- May 2023: Passed my CSE Prelim Exam!
- August 2021: Started PhD in CSE at University of Michigan.
- June 2021: Attended OPLSS 2021.
- May 2021: Graduated from Penn.
- April 2021: I have selected a PhD program! I will be attending the University of Michigan beginning fall 2021.
- December 2020: Gave a presentation to the Penn PLClub.
- August 2020: Attended PLMW at ICFP 2020. My first PLMW and first conference.
Research Projects
- Denotational Semantics of Gradual Typing using Synthetic Guarded Domain Theory: In this work, we develop a denotational semantics for a simple gradually-typed language using the tools of synthetic guarded domain theory. The result is a reusable and compositional semantic framework that we expect to be capable of extending to languages with advanced recursive features including higher-order store. Future work will seek to extend the framework to accommodate these features. Our work builds on prior denotational models of gradual typing, but in place of classical domain theory, we use guarded type theory.
- Gradual Typing for Effect Handlers: I contributed to proving metatheoretic properties of GrEff, a proof-of-concept gradually-typed programming language with effects. The language is designed to model the situation where one would like to retrofit an effect typing system onto an existing programming language with effects.
- Invariants with
hs-to-coq
(Jan 2020-Sept 2020): I worked on modifying thehs-to-coq
tool to support automatically generating proof obligations for datatype invariants.
Talks and Presentations
- [November 2024] Denotational Semantics of Gradual Typing using Synthetic Guarded Domain Theory --- virtual talk presented to PLS Group at IT University of Copenhagen
- [October 2023] Gradual Typing for Effect Handlers --- presented paper at OOPSLA 2023
- [December 2020] Datatype Invariants with
hs-to-coq
--- talk given at Penn's PLClub - [April 2020] Comparing Monad Transformers and Algebraic Effects in Haskell --- project presentation for programming languages seminar at Penn
Service
- [October 2023] SPLASH 2023: Student volunteer
- [October 2023] Midwest PL Summit 2023: Student volunteer
- [June 2023] PLDI 2023: Student volunteer (virtual)
- [April 2023] Faculty candidate graduate student host
- [Fall 2022 - Winter 2023] MPLSE Reading group organizer
Teaching
- Winter 2024: GSI for EECS 483 (Compiler Construction) at Michigan
- Spring 2020 and Spring 2021: TA for Computer Organization and Design at U. Penn
- Spring 2019: Part-time lecturer (i.e., undergraduate TA) for Principles of Programming Languages at Rutgers
- Spring 2018: Part-time lecturer for Computer Architecture at Rutgers
Awards
- [October 2023] Rackham Travel Grant --- funding to support my attendance at SPLASH 2023