About

I am a fifth-year PhD student at Chalmers University. I am part of the Octopi project.

I am currently the lead designer of HasTEE+, a Haskell DSL for programming Trusted Execution Environments that enforces Information Flow Control. I also design and maintain the SynchronVM project, 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. I am currently contemplating the formal definition of trust and ways to design computer systems that uphold the various dimensions of trust, such as confidentiality, integrity, and availability.

Contact me here.

The Computer Scientist as Toolsmith.

Reflections on Trusting Trust.