Alix Trieu

I am currently a Postdoc since January 2019 working with Aslan Askarov and Lars Birkedal in the Logic and Semantics group at the Department of Computer Science of 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)



Work Address:
Building 5341, Office 228
Department of Computer Science
Aarhus University
Åbogade 34
DK-8200 Aarhus N


My publications on DBLP and Google Scholar.