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)