Pierre-Jean Meyer
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.
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.
Between 2015 and 2017, I was a postdoctoral researcher in the Automatic Control Department of KTH, Stockholm, Sweden, where I worked on Formal methods for collaborative control of multi-robot systems, supervised by Dimos Dimarogonas. In particular, I was interested in abstraction refinement and specification revision methods for the control synthesis of nonlinear systems under temporal logic specifications.
Between 2012 and 2015, I did a PhD titled Invariance and symbolic control of cooperative systems for temperature regulation in intelligent buildings under the supervision of Antoine Girard at LJK and Emmanuel Witrant at GIPSA-lab in Grenoble, France.
Prior to that, I did my master thesis on Anytime diagnosis of discrete event systems under the supervision of Yannick Pencolé and Elodie Chanthery at LAAS-CNRS in Toulouse, France. In 2011, I received my Master degree in Electrical Engineering and Automatic Control from INP Toulouse (in ENSEEIHT engineering school)