Home

Hi! I’m Noé Eric De Santo.

I’m a PhD candidate at the University of Pennsylvania in Computer Science. My two main centers of interest are Programming Languages and Software Verification.

I was previously at EPFL where I obtained my Master’s degree in Computer Science (as well as my Bachelor’s before that). My thesis was on mechanized semantics for JavaScript regexes.