Georgios Fainekos is an associate professor at the School of Computing and Augmented Intelligence at Arizona State University. He is currently affiliated with the Consortium for Embedded Systems (CES). He received his doctorate in Computer and Information Science from the University of Pennsylvania in 2008. He holds a Diploma degree (B.Sc. and M.Sc.) in Mechanical Engineering from the National Technical University of Athens and a master's 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, robotics and autonomous vehicles.
For more information, please visit: http://www.public.asu.edu/~gfaineko/
- Ph.D. Computer and Information Science, University of Pennsylvania 2008.
- M.Sc. Computer and Information Science, University of Pennsylvania.
- Diploma degree (B.Sc. and M.Sc.). Mechanical Engineering, National Technical University of Athens, Greece
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.
- Fainekos,Georgios E.*, Pavlic,Theodore Paul. CPS: Synergy: Collaborative Research: Collaborative Vehicular Systems. NSF-CISE(1/1/2015 - 12/31/2017).
- Fainekos,Georgios E.*. ICorps: Formal Specification Driven Verification and Validation Framework for CyberPhysical Systems. NSF-IIP(9/1/2014 - 2/28/2015).
- Fainekos,Georgios E.*. CAREER: Robustness Guided Testing and Verification for Cyber-Physical Systems. NSF-CISE(8/15/2014 - 7/31/2019).
- Fainekos,Georgios E.*. CSR: Small: Collaborative Research: Gray box Testing of Complex Cyber-Physical Systems using Optimization and Optimal Control Techniques. NSF-ECCS(10/1/2013 - 9/30/2016).
- Vrudhula,Sarma B K*, Fainekos,Georgios E.. REU: Collaborative Research: Consortium for Embedded Systems. NSF-ENG(8/10/2012 - 2/28/2015).
- Fainekos,Georgios E.*, Fainekos,Georgios E.*. CSR: Small: Model Exploration for Cyber-Physical Systems. NSF-CISE(9/1/2011 - 8/31/2015).
- Fainekos,Georgios E.*. SHF: Small: Collaborative Research: Statistical Techniques for Verifying Temporal Properties of Embedded and Mixed-Signal Systems. NSF-CISE(8/1/2010 - 7/31/2013).
Courses
2023 Fall
Course Number | Course Title |
---|---|
CSE 595 | Continuing Registration |
CSE 599 | Thesis |
CSE 792 | Research |
CSE 795 | Continuing Registration |
CSE 799 | Dissertation |
MAE 792 | Research |
CSE 590 | Reading and Conference |
CSE 580 | Practicum |
CSE 790 | Reading and Conference |
CEN 792 | Research |
CEN 599 | Thesis |
CEN 580 | Practicum |
CEN 790 | Reading and Conference |
CEN 799 | Dissertation |
CEN 795 | Continuing Registration |
2023 Summer
Course Number | Course Title |
---|---|
CSE 795 | Continuing Registration |
CSE 792 | Research |
CEN 584 | Internship |
CSE 799 | Dissertation |
CEN 792 | Research |
2023 Spring
Course Number | Course Title |
---|---|
CSE 493 | Honors Thesis |
CSE 595 | Continuing Registration |
CSE 599 | Thesis |
CSE 792 | Research |
CSE 795 | Continuing Registration |
CSE 799 | Dissertation |
CSE 590 | Reading and Conference |
CSE 790 | Reading and Conference |
MAE 792 | Research |
CSE 595 | Continuing Registration |
CEN 595 | Continuing Registration |
CEN 790 | Reading and Conference |
CEN 599 | Thesis |
CEN 580 | Practicum |
CEN 584 | Internship |
CSE 580 | Practicum |
CSE 599 | Thesis |
MAE 792 | Research |
CSE 580 | Practicum |
CEN 792 | Research |
CEN 799 | Dissertation |
CEN 590 | Reading and Conference |
CEN 795 | Continuing Registration |
2022 Fall
Course Number | Course Title |
---|---|
CSE 595 | Continuing Registration |
CSE 599 | Thesis |
CSE 792 | Research |
CSE 795 | Continuing Registration |
CSE 799 | Dissertation |
MAE 792 | Research |
CSE 590 | Reading and Conference |
CSE 580 | Practicum |
CSE 790 | Reading and Conference |
CEN 792 | Research |
CEN 599 | Thesis |
CEN 580 | Practicum |
CEN 790 | Reading and Conference |
CEN 799 | Dissertation |
CEN 795 | Continuing Registration |
2022 Summer
Course Number | Course Title |
---|---|
CSE 795 | Continuing Registration |
CSE 792 | Research |
CEN 584 | Internship |
CSE 799 | Dissertation |
CEN 792 | Research |
CSE 599 | Thesis |
2022 Spring
Course Number | Course Title |
---|---|
CSE 493 | Honors Thesis |
CSE 595 | Continuing Registration |
CSE 599 | Thesis |
CSE 792 | Research |
CSE 795 | Continuing Registration |
CSE 799 | Dissertation |
CSE 590 | Reading and Conference |
CSE 790 | Reading and Conference |
MAE 792 | Research |
CSE 340 | Principles of Programming Lang |
CSE 595 | Continuing Registration |
CEN 595 | Continuing Registration |
CEN 790 | Reading and Conference |
CEN 599 | Thesis |
CEN 580 | Practicum |
CEN 584 | Internship |
CSE 580 | Practicum |
CSE 599 | Thesis |
MAE 792 | Research |
CSE 580 | Practicum |
CEN 792 | Research |
CEN 799 | Dissertation |
CEN 590 | Reading and Conference |
CEN 795 | Continuing Registration |
CSE 340 | Principles of Programming Lang |
CSE 340 | Principles of Programming Lang |
CSE 340 | Principles of Programming Lang |
CSE 340 | Principles of Programming Lang |
2021 Fall
Course Number | Course Title |
---|---|
CSE 595 | Continuing Registration |
CSE 599 | Thesis |
CSE 792 | Research |
CSE 795 | Continuing Registration |
CSE 799 | Dissertation |
MAE 792 | Research |
CSE 590 | Reading and Conference |
CSE 580 | Practicum |
CSE 790 | Reading and Conference |
CEN 792 | Research |
CEN 599 | Thesis |
CSE 492 | Honors Directed Study |
CEN 580 | Practicum |
CEN 595 | Continuing Registration |
CEN 790 | Reading and Conference |
CEN 799 | Dissertation |
CEN 795 | Continuing Registration |
CEN 792 | Research |
CEN 790 | Reading and Conference |
CSE 598 | Special Topics |
2021 Summer
Course Number | Course Title |
---|---|
CSE 795 | Continuing Registration |
CSE 792 | Research |
CEN 584 | Internship |
CEN 792 | Research |
2021 Spring
Course Number | Course Title |
---|---|
CSE 493 | Honors Thesis |
CSE 595 | Continuing Registration |
CSE 599 | Thesis |
CSE 792 | Research |
CSE 795 | Continuing Registration |
CSE 799 | Dissertation |
CSE 590 | Reading and Conference |
CSE 790 | Reading and Conference |
MAE 792 | Research |
CSE 340 | Principles of Programming Lang |
CSE 595 | Continuing Registration |
CEN 595 | Continuing Registration |
CEN 790 | Reading and Conference |
CEN 599 | Thesis |
CEN 580 | Practicum |
CEN 584 | Internship |
CSE 580 | Practicum |
CSE 599 | Thesis |
CSE 790 | Reading and Conference |
CSE 580 | Practicum |
CEN 792 | Research |
CEN 580 | Practicum |
CEN 799 | Dissertation |
CEN 590 | Reading and Conference |
CEN 795 | Continuing Registration |
CSE 340 | Principles of Programming Lang |
CSE 340 | Principles of Programming Lang |
CSE 340 | Principles of Programming Lang |
CSE 340 | Principles of Programming Lang |
2020 Fall
Course Number | Course Title |
---|---|
CSE 595 | Continuing Registration |
CSE 599 | Thesis |
CSE 792 | Research |
CSE 795 | Continuing Registration |
CSE 799 | Dissertation |
MAE 792 | Research |
CSE 590 | Reading and Conference |
CSE 580 | Practicum |
CSE 790 | Reading and Conference |
CEN 792 | Research |
CEN 599 | Thesis |
CSE 492 | Honors Directed Study |
CEN 580 | Practicum |
CEN 595 | Continuing Registration |
CEN 790 | Reading and Conference |
CEN 799 | Dissertation |
CSE 355 | Intro Theoretical Computer Sci |
CSE 355 | Intro Theoretical Computer Sci |
CSE 355 | Intro Theoretical Computer Sci |
CEN 795 | Continuing Registration |
CSE 355 | Intro Theoretical Computer Sci |
ASU 101-CSE | The ASU Experience |
ASU 101-CSE | The ASU Experience |
CSE 355 | Intro Theoretical Computer Sci |
2020 Summer
Course Number | Course Title |
---|---|
CSE 795 | Continuing Registration |
CEN 584 | Internship |
CEN 792 | Research |
2020 Spring
Course Number | Course Title |
---|---|
CSE 595 | Continuing Registration |
CSE 599 | Thesis |
CSE 792 | Research |
CSE 795 | Continuing Registration |
CSE 799 | Dissertation |
CSE 593 | Applied Project |
CSE 590 | Reading and Conference |
CSE 790 | Reading and Conference |
CSE 595 | Continuing Registration |
CEN 595 | Continuing Registration |
CEN 599 | Thesis |
CEN 580 | Practicum |
CEN 584 | Internship |
CSE 580 | Practicum |
CSE 599 | Thesis |
CSE 790 | Reading and Conference |
CSE 580 | Practicum |
CEN 792 | Research |
CEN 580 | Practicum |
CEN 799 | Dissertation |
CEN 590 | Reading and Conference |
CEN 795 | Continuing Registration |
CSE 355 | Intro Theoretical Computer Sci |
CSE 355 | Intro Theoretical Computer Sci |
CSE 355 | Intro Theoretical Computer Sci |
CSE 355 | Intro Theoretical Computer Sci |
CSE 355 | Intro Theoretical Computer Sci |
2019 Fall
Course Number | Course Title |
---|---|
CSE 595 | Continuing Registration |
CSE 599 | Thesis |
CSE 792 | Research |
CSE 795 | Continuing Registration |
CSE 799 | Dissertation |
CSE 590 | Reading and Conference |
CSE 580 | Practicum |
CSE 790 | Reading and Conference |
CEN 792 | Research |
CEN 599 | Thesis |
CEN 580 | Practicum |
CEN 595 | Continuing Registration |
CEN 790 | Reading and Conference |
CEN 799 | Dissertation |
CSE 494 | Special Topics |
2019 Summer
Course Number | Course Title |
---|---|
CEN 584 | Internship |
2019 Spring
Course Number | Course Title |
---|---|
CSE 595 | Continuing Registration |
CSE 599 | Thesis |
CSE 792 | Research |
CSE 795 | Continuing Registration |
CSE 799 | Dissertation |
CSE 593 | Applied Project |
CSE 590 | Reading and Conference |
CSE 790 | Reading and Conference |
CSE 595 | Continuing Registration |
CEN 595 | Continuing Registration |
CEN 599 | Thesis |
CEN 580 | Practicum |
CEN 584 | Internship |
CSE 580 | Practicum |
CSE 599 | Thesis |
CSE 790 | Reading and Conference |
CSE 580 | Practicum |
CEN 792 | Research |
CEN 580 | Practicum |
CEN 799 | Dissertation |
CEN 795 | Continuing Registration |
CSE 591 | Seminar |