Étienne André

Étienne André is a full professor at Université Sorbonne Paris Nord, affiliated with the SAFER team at LIPN. His research focuses on formal verification of timed and real-time systems, parameter synthesis, and cyber-physical systems security. He leads multiple projects including MoCcA (multi-agent systems), ProMiS (side-channel mitigation), and SECReTS (energy-efficient real-time systems). His work emphasizes reducing carbon footprint through sustainable research practices.

Education and roles include heading the P2S Master's program in safety and security programming. He has supervised numerous PhD students and post-docs, contributing to tools like IMITATOR for parametric model checking. He actively participates in conferences like Petri Nets, ATVA, and ICFEM, serving in program committees and as conference chair. His awards include a PhD award from Académie Lorraine and an ha-index of 78.