Pierre-Jean Meyer
About me
In 2011, I obtained a Master degree in Electrical Engineering and Automatic Control from the Institut National Polytechnique de Toulouse, France.
From 2012 to 2015, I was a PhD student at Universty Grenoble-Alpes, France, on the topic of "Invariance and symbolic control of cooperative systems for temperature regulation in intelligent buildings", under the supervision of Antoine Girard and Emmanuel Witrant.
Between 2015 and 2017, I was a post-doctoral researcher on "Formal methods for collaborative control of multi-robot systems" in the Automatic Control Department at KTH, supervised by Dimos Dimarogonas.
Between 2017 and 2020, I was a postdoctoral researcher in the EECS Department at University of California, Berkeley, under the supervision of Murat Arcak. My work focused on Interval reachability analysis and abstraction-based control synthesis.
Since March 2021, I am a research fellow in the ESTAS lab of Université Gustave Eiffel, in Lille, France. I am working on Safety evaluation and control for autonomous vehicles, with a particular focus on systems containing AI modules.
My main research interests include hybrid and symbolic control, formal methods, reachability analysis of monotone and mixed-monotone systems, and applications to thermal control in buildings, multi-agent systems and traffic networks.
More information in my homepage.