About
I am a Researcher in the RiSE group working on F*, miTLS and the Everest project. Lately, I wrote KreMLin, the new C extraction backend for F*, which currently extracts verified cryptographic libraries.
More information as well as an up-to-date list of publications can be found on my personal web page.
Projects
Publications
Videos
