Georgios Fainekos
Associate Professor

Research interests
Cyber-physical systems: hybrid dynamical systems, real-time and embedded systems, formal methods with applications to automation & control: system testing and verification, formal languages and logic, motion planning in robotics, unmanned aerial vehicles (UAV)

Fainekos@asu.edu
(480) 965-8267
Tempe campus, CTRPT 203-17
Research website