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 also recipient of the SCIDSE Best Researcher Junior Faculty award for 2013 and of the 2008 Frank Anger Memorial ACM SIGBED/SIGSOFT Student Award. [more ...]

Recent Selected Publications

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

Recent and Upcoming Courses

See older courses.

Group [See group photos]

  • A few remarks for prospective students
    • I will not be responding to emails which do not observe the above guidelines/comments.
  • PhD Students
    • Houssam Abbas (ECEE; Co-advised with Tolga Duman)
    • Adel Dokhanchi (CIDSE)
    • Bardh Hoxha (CIDSE)
    • Kangjin Kim (CIDSE)
    • Ganesh P Kumar (CIDSE; Co-advised with Spring M. Berman)
    • C. Erkan Tuncali (CIDSE)
  • MS Students
    • Joseph Campbell (CIDSE)
    • Wei Wei (CIDSE)
  • Undergraduate Students
    • Rick Ahlf (REU, FURI, SEMTE)
    • William Duong (REU, CIDSE)
    • Hoang Bach (REU, CIDSE)
    • Sami Mian (REU, CIDSE)
  • Alumni
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!


Promoted to Associate Professor with Tenure!


Chairing HSCC 2016: Please submit your best papers!


PhD Graduation: Congratulations to Dr. Abbas! Dr. Abbas is off to the University of Pennsylvania for a postdoc!


In the news: ASU team’s robot driver in top 10 at Cornell Cup competition


TALIRO TOOLS: S-TaLiRo v1.6 has been released!


TALIRO TOOLS: S-TaLiRo v1.4 has been released!


Three research assistant positions for undergraduates are available!


HSCC 2016

ACM International Conference on Hybrid Systems: Computation and Control

ICCPS 2016

ACM/IEEE International Conference on Cyber-Physical Systems

Contact Information


fainekos at asu dot edu

Office phone number

+1 (480) 965-8267

Office address

My office is in [Centerpoint]. The "Hottest Spot in Town"!

660 W 6th St, STE 203
Tempe, AZ 85281

[Google map]
[Recommended Parking 1]
[Recommended Parking 2]

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.08.24