About me

Hi! I'm Noé Eric De Santo.

I recently graduated from EPFL with a Master's in Computer Science. I'm currently still employed there to continue working on a mechanization of JavaScript regexes, which was the topic of my Master's thesis.
I will however be starting a PhD at Penn this fall.

I'm mostly interested in anything related to programming languages, with a focus on reasoning about programs; some examples are:

• Programming languages design;
• Type systems;
• Program verification techniques.