Goran Frehse

Full Professor, ENSTA Paris

  • Joined September 2021

Names

Goran Frehse (Preferred)

Emails

****@gmail.com (Confirmed)
,
****@ensta-paris.fr (Confirmed)
,
****@imag.fr (Confirmed)

Education & Career History

Full Professor
ENSTA Paris (ensta-paris.fr)
2021Present
 
Associate Professor
ENSTA Paris (ensta-paris.fr)
20182021
 
Associate Professor
University of Grenoble-Alpes (univ-grenoble-alpes.fr)
20162018
 
Assistant Professor
University of Grenoble-Alpes (univ-grenoble-alpes.fr)
20052016
 
Researcher
Carnegie Mellon University (cmu.edu)
20032005
 
PhD student
TU Dortmund (tu-dortumund.de)
20002005
 

Advisors, Relations & Conflicts

Coworker
2018Present
 
Postdoc Advisor
20032005
 
PhD Advisor
Sebastian Engell
20002003
 

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