About

I am currently a Postdoctoral Researcher at ETH Zurich where I work in the Information Security Group headed by Prof. David Basin. My interests lie in the following broad areas of research, which I am currently exploring:

Researchers or students interested in these fields are welcome to send me an email.

I completed my PhD from Chalmers University, Gothenburg under the supervision of Prof. Mary Sheeran, where I worked extensively on compilers and language runtimes, focussing on functional programming languages.

My PhD produced tools like - HasTEE+, a Haskell DSL for programming Trusted Execution Environments that enforces Information Flow Control, and SynchronVM, a soft real-time virtual machine supporting functional programming on microcontrollers.

Topic-wise, I am broadly interested in the following in no particular order:

I sporadically read about logic and philosophy in my spare time.

Contact me at my ETH email

The Computer Scientist as Toolsmith.

Reflections on Trusting Trust.