I am currently a Postdoc since January 2019 working with Aslan Askarov in the Logic and Semantics group at Aarhus University.
Before that, I was a Ph.D student between January 2016 to December 2018 in the Celtique group at Inria/IRISA/Université de Rennes 1 in France under the supervision of Sandrine Blazy and David Pichardie.
My Ph.D thesis is on the verification of constant-time implementations in a verified compiler toolchain such as CompCert and Verasco.
Before that, in 2015, I did an intership supervised by Sandrine Blazy on program obfuscations, more specifically on the formal verification of control-flow graph flattening.
In 2014, I did an internship supervised by Robert Dockins and Andrew Tolmach at Portland State University on static conflict detection in a policy language using Why3.
Curriculum Vitæ (pdf)
Building 5341, Office 228
Department of Computer Science
DK-8200 Aarhus N
My publications on DBLP and Google Scholar.