About me

I’m a first year PhD student at Instituto Superior Técnico, Universidade de Lisboa. I am advised by Nuno Lopes. My research interests are language semantics, compiler optimizations and the interaction between safe and unsafe languages.