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
  • 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!

ICCPS 2015

ACM/IEEE International Conference on Cyber-Physical Systems

Dagstuhl Seminar

Dagstuhl Seminar on Automated Planning and Model Checking

RV 2015

International Conference on Runtime Verification

HSCC 2015

ACM International Conference on Hybrid Systems: Computation and Control

Dagstuhl Seminar

Dagstuhl Seminar on Verification of Cyber-Physical Systems

RTSS 2014

IEEE Real-Time Systems Symposium

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

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