Georgios Fainekos

Assistant Professor
Cyber-Physical Systems Laboratory (CPSLab)
Center for Embedded Systems (CES)
School of Computing, Informatics and Decision Systems Engineering (SCIDSE)
Ira A. Fulton Schools of Engineering
Arizona State University

Bio [See also Curriculum Vitae]

Georgios Fainekos is an Assistant Professor at the School of Computing, Informatics and Decision Systems Engineering at Arizona State University. He is director of the Cyber-Physical Systems Laboratory (CPSLab) and he is also affiliated with the Center for Embedded Systems (CES). He received his Ph.D. in Computer and Information Science from the University of Pennsylvania in 2008 where he was affiliated with the GRASP Lab. Prof. Fainekos 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 in the area of Cyber-Physical Systems. In particular, his research interests include formal methods and logic, control theory and hybrid, embedded and real-time systems with applications to robotics and unmanned aerial vehicles. Prof. Fainekos is recipient of the NSF CAREER award. He was finalist for the best student paper in ICRA 2007 and he was recipient of the 2008 Frank Anger Memorial ACM SIGBED/SIGSOFT Student Award. more ...

Recent Publications

For a complete list of my publications please visit my publications page.

Recent and Upcoming Courses

See older courses.


  • PhD Students
    • Houssam Abbas (ECEE; Co-advised with Tolga Duman)
    • Adel Dokhanchi (CIDSE)
    • Bardh Hoxha (CIDSE)
    • Kangjin Kim (CIDSE)
    • C. Erkan Tuncali (CIDSE)
  • MS Students
    • Joseph Campbell (CIDSE)
    • Wei Wei (CIDSE)
  • Undergraduate Students
    • Rick Ahlf (REU, FURI, SEMTE)
    • Hoang Bach (REU, CIDSE)
    • Sami Mian (REU, CIDSE)
  • Alumni
  • A few remarks for prospective students
ASU RoboCup Team

Join the ASU RoboCup Team!

If interested, please visit the new Member page.

Office hours, travel, meetings, etc

Note: Google calendar might not be displayed properly on Safari or Internet Explorer!

HSCC 2014

ACM International Conference on Hybrid Systems: Computation and Control

ICRA 2014

IEEE International conference on Robotics and Automation


Formal Modeling and Analysis of Timed Systems

ARCH 2014

Applied Verification for Continuous and Hybrid Systems

SynCoP 2014

Synthesis of Continuous Parameters

HAS 2014

Hybrid Autonomous Systems

Past events

Contact Information


fainekos at asu dot edu

Office phone number

+1 (480) 965-8267

Office address

660 W 6th St,
Tempe, AZ 85281

Google map

Office Room Number

Centerpoint 203-17

CPSLab Room Number

Centerpoint 203-27

Mailing address

699 S. Mill Avenue, STE 553
Tempe, AZ 85281

Home :: Research :: Publications :: Miscellaneous
Admin: G. Fainekos // Design: O. Fainekos // Copyright @ Georgios Fainekos // Last update@2014.01.21