Goran Frehse (Preferred)
Goran Frehse
Full Professor, ENSTA Paris
Joined
September 2021
Names
Emails
****@gmail.com (Confirmed)
****@ensta-paris.fr (Confirmed)
****@imag.fr (Confirmed)
Personal Links
Career & Education History
Full Professor
ENSTA Paris (ensta-paris.fr)
2021 – Present
Associate Professor
ENSTA Paris (ensta-paris.fr)
2018 – 2021
Associate Professor
University of Grenoble-Alpes (univ-grenoble-alpes.fr)
2016 – 2018
Assistant Professor
University of Grenoble-Alpes (univ-grenoble-alpes.fr)
2005 – 2016
Researcher
Carnegie Mellon University (cmu.edu)
2003 – 2005
PhD student
TU Dortmund (tu-dortumund.de)
2000 – 2005
Advisors, Relations & Conflicts
PhD Advisor
Sebastian Engell
2000 – 2003
Expertise
formal methods
, verification
, model checking
, abstract interpretation
Present
cyber-physical systems
, embedded systems
, safety-critical systems
Present
safe reinforcement learning
, safety shield
, supervision of AI components
, monitoring of AI components
Present
Publications
Co-Authors
- Abdelmouaiz Tebjou
- Alberto Griggio
- Alessandro Abate
- Alessandro Cimatti
- Alexander Walsch
- Alexandre Donzé
- Amit Gurung
- Andrea Passerini
- Andreas Podelski
- André Platzer
- Aniruddh Chandratre
- Anna Becchi
- Anna Hedström
- Antoine Girard
- Antonio Anastasio Bruto da Costa
- Arne Hamann
- Atanu Kundu
- Baptiste Caramiaux
- Brian Nielsen
- Bruce H. Krogh
- Christian Schilling
- Chuchu Fan
- Claudio Menghi
- Colas Le Guernic
- Corina S. Pasareanu