HENSOLDT Cyber GmbH
Formal Verification Engineer
Middlesex University
Senior Lecturer in Foundations of Computing
Université Paris Diderot
Ater
Advanced Design Unit - University of Bologna
Post-Doc
Université Paris Diderot
Researcher
Université Paris Diderot
PHD Student
CNRS
Researcher
Radboud University