About me

I am a Postdoc at the Department of Theoretical Computer Science (TCS) at EECS in the Royal Institute of Technology (KTH). Before coming to KTH, I was a Postdoctoral Fellow in the Harvard John A. Paulson School of Engineering and Applied Sciences at Harvard University working with Stephen Chong's group. In 2016, I completed a PhD in Computer Science at Chalmers University of Technology, under the supervision of Alejandro Russo.

My research involves information-flow control for programming language-based security in Haskell. More generally, I also like functional programming, type systems and programming language semantics.




While at Chalmers, I worked as a Teaching Assistant for the follwing courses: