Étienne André

I am full professor within Nantes Université. I belong to the STR research team at LS2N, located at École Centrale Nantes.

I support the manifesto for sustainable research in theoretical computer science, notably through the reduction of our carbon footprint and (therefore) our plane travels.

I made up a tiny Event Carbon Footprint Calculator to evaluate the carbon impact of the conferences you (co-)organise.

I am interested in specifying and formally verifying concurrent systems. My research focuses especially on verification of timed systems (or real-time systems) under uncertainty, i.e., with timing parameters, and notably on parametric timed model-checking. I am also interested in monitoring cyber-physical systems, and in detecting side-channel attacks using quantitative formal methods.

Keywords: model checking, verification, distributed systems, timed systems, parametric timed automata, parameter synthesis, theory of opacity.