Georgios Fainekos
Associate Professor
Computer Science and Engineering
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
