Georgios, Fainekos

Georgios FainekosGeorgios Fainekos is an associate professor at the School of Computing, Informatics and Decision Systems Engineering (CIDSE) at Arizona State University. He is director of the Cyber-Physical Systems (CPS) Lab and he is currently affiliated with the NSF I/UCR Center for Embedded Systems (CES) at ASU. He received his Ph.D. in Computer and Information Science from the University of Pennsylvania in 2008 where he was affiliated with the GRASP laboratory. He holds a Diploma degree (B.Sc. & M.Sc.) in Mechanical Engineering from the National Technical University of Athens and an M.Sc. degree in Computer and Information Science from the University of Pennsylvania. Before joining ASU, he held a Postdoctoral Researcher position at NEC Laboratories America in the System Analysis & Verification Group. He is currently working on Cyber-Physical Systems (CPS) and robotics. In particular, his expertise is on formal methods, logic, artificial intelligence, optimization and control theory. His research has applications on automotive systems, medical devices, autonomous (ground and aerial) robots and human-robot interaction (HRI). In 2013, Fainekos received the NSF CAREER award. He was also recipient of the CIDSE Best Researcher Junior Faculty award for 2013 and of the 2008 Frank Anger Memorial ACM SIGBED/SIGSOFT Student Award. He was program co-chair of the 2016 ACM International Conference on Hybrid Systems: Computation and Control.

fainekos@asu.edu
480-965-8267
Centerpoint 203-17
http://www.public.asu.edu/~gfaineko

Education

Ph.D., University of Pennsylvania, 2008
M.Sc., University of Pennsylvania, 2004
B.Sc. & M.Sc., National Technical University of Athens, 2001

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)

Honors and awards

  • 2008 Frank Anger Memorial ACM SIGBED/SIGSOFT Student Award

Key activities

  • Guest Editor of ACM Transactions on Embedded Computing Systems Special issue: Numerical Software Verification of Cyber-Physical Software Systems
  • Co-organizer of Int. workshop on Numerical Software Verification Program Committee member of IEEE Real-Time Systems Symposium