About me

I was born and raised in Puerto Rico, where friends and family usually call me Emma. (You're more than welcome to do the same!) I'm a PhD student at Cornell, supported by the Dean's Excellence and Hopper-Dean Fellowship as well as the NSF Graduate Research Fellowship. My research interests are in programming languages (their theory and semantics) as well as type theory.

This past summer, I worked with Favonia as a research intern, studying a type theory with strictly associative dependent sum types. Prior to Cornell, I was a master's student at Penn. I was fortunate enough to work with Stephanie Weirich, who was an incredible mentor. We worked on a few things together, like effects and coeffects in call-by-push-value.

On a personal level, I have many interests: cats, running, video games, climbing, cycling, food. I'm also passionate about diversity, equity, and inclusion; I hope to contribute to building safe spaces and increasing participation in research and academia.

News

• October 2024: Giving a talk at OOPSLA 2024 about our paper on (co)effects in CBPV.
• August 2024: Our paper Effects and Coeffects in Call-By-Push-Value was selected to appear at OOPSLA 2024!
• August 2024: Giving my first talk at the MURI 2024 meeting!

All news

Posts

• Logical relations? More like... logi-cool relations!
  (2024-04-19)
• Normalization by Evaluation
  (2023-11-21)

All posts