Hi! My name’s Aurélien Coet. I am currently a PhD candidate at the University of Geneva in the Semantics, Modelling and Verification Group of the Computer Science Department.

Before starting my PhD, I completed both my BSc and MSc in computer science at the University of Geneva. There, I studied theoretical subjects such as formal methods and program verification, as well as more applicative ones like machine learning and natural language processing.

My main research interests include (but aren’t limited to):

• Programming languages design and implementation;
• Compilers;
• Static analysis;
• Program verification.