Georgios Fainekos
Assoc Professor, School of Computing and Augmented Intelligence
-
-
CTRPT 203-17 TEMPE, AZ 85287-8809
-
Mail code: 8809Campus: Tempe
-
Long Bio
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/
Education
- 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
Research Interests
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.
Research Activity
- 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 Spring
| Course Number | Course Title |
|---|---|
| CEN 795 | Continuing Registration |
| CEN 595 | Continuing Registration |
| 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 |
| CSE 595 | Continuing Registration |
| MAE 792 | Research |
| CEN 790 | Reading and Conference |
| MAE 792 | Research |
| CEN 590 | Reading and Conference |
| CEN 799 | Dissertation |
| CEN 599 | Thesis |
| CSE 580 | Practicum |
| CEN 792 | Research |
| CSE 599 | Thesis |
| CSE 580 | Practicum |
| CEN 584 | Internship |
| CEN 580 | Practicum |
2022 Fall
| Course Number | Course Title |
|---|---|
| CSE 590 | Reading and Conference |
| CSE 595 | Continuing Registration |
| CSE 599 | Thesis |
| CSE 792 | Research |
| CSE 795 | Continuing Registration |
| CSE 799 | Dissertation |
| MAE 792 | Research |
| CEN 599 | Thesis |
| CSE 580 | Practicum |
| CEN 792 | Research |
| CSE 790 | Reading and Conference |
| CEN 580 | Practicum |
| CEN 790 | Reading and Conference |
| CEN 799 | Dissertation |
| CEN 795 | Continuing Registration |
2022 Summer
| Course Number | Course Title |
|---|---|
| CEN 584 | Internship |
| CSE 792 | Research |
| CSE 795 | Continuing Registration |
| CSE 799 | Dissertation |
| CEN 792 | Research |
| CSE 599 | Thesis |
2022 Spring
| Course Number | Course Title |
|---|---|
| CEN 599 | Thesis |
| CSE 493 | Honors Thesis |
| CSE 595 | Continuing Registration |
| CSE 599 | Thesis |
| CSE 792 | Research |
| CSE 795 | Continuing Registration |
| CSE 799 | Dissertation |
| 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 |
| CSE 590 | Reading and Conference |
| CEN 580 | Practicum |
| CEN 590 | Reading and Conference |
| CEN 584 | Internship |
| CSE 340 | Principles of Programming Lang |
| CSE 340 | Principles of Programming Lang |
| CSE 340 | Principles of Programming Lang |
| CEN 795 | Continuing Registration |
| CSE 340 | Principles of Programming Lang |
| CEN 799 | Dissertation |
| CEN 792 | Research |
| CSE 580 | Practicum |
| MAE 792 | Research |
| CSE 599 | Thesis |
| CSE 580 | Practicum |
2021 Fall
| Course Number | Course Title |
|---|---|
| CSE 599 | Thesis |
| CEN 792 | Research |
| 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 790 | Reading and Conference |
| CSE 598 | Special Topics |
| CSE 595 | Continuing Registration |
2021 Summer
| Course Number | Course Title |
|---|---|
| CSE 795 | Continuing Registration |
| CSE 792 | Research |
| CEN 792 | Research |
| CEN 584 | Internship |
2021 Spring
| Course Number | Course Title |
|---|---|
| CEN 580 | Practicum |
| 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 599 | Thesis |
| CEN 790 | Reading and Conference |
| CEN 584 | Internship |
| CEN 590 | Reading and Conference |
| CSE 340 | Principles of Programming Lang |
| CSE 340 | Principles of Programming Lang |
| CSE 580 | Practicum |
| CSE 340 | Principles of Programming Lang |
| CEN 795 | Continuing Registration |
| CSE 340 | Principles of Programming Lang |
| CEN 799 | Dissertation |
| CEN 580 | Practicum |
| CEN 792 | Research |
| CSE 580 | Practicum |
| CSE 790 | Reading and Conference |
| CSE 599 | Thesis |
2020 Fall
| Course Number | Course Title |
|---|---|
| CSE 355 | Intro Theoretical Computer Sci |
| CSE 355 | Intro Theoretical Computer Sci |
| ASU 101-CSE | The ASU Experience |
| ASU 101-CSE | The ASU Experience |
| CSE 355 | Intro Theoretical Computer Sci |
| CEN 795 | Continuing Registration |
| CSE 355 | Intro Theoretical Computer Sci |
| CSE 355 | Intro Theoretical Computer Sci |
| CEN 799 | Dissertation |
| CSE 595 | Continuing Registration |
| CSE 590 | Reading and Conference |
| CEN 790 | Reading and Conference |
| CSE 599 | Thesis |
| CSE 792 | Research |
| CSE 795 | Continuing Registration |
| MAE 792 | Research |
| CSE 799 | Dissertation |
| 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 |
2020 Summer
| Course Number | Course Title |
|---|---|
| CEN 792 | Research |
| CEN 584 | Internship |
| CSE 795 | Continuing Registration |
2020 Spring
| Course Number | Course Title |
|---|---|
| CSE 593 | Applied Project |
| CEN 599 | Thesis |
| CSE 595 | Continuing Registration |
| CSE 790 | Reading and Conference |
| CSE 590 | Reading and Conference |
| CEN 595 | Continuing Registration |
| CSE 799 | Dissertation |
| CSE 795 | Continuing Registration |
| CSE 792 | Research |
| CSE 599 | Thesis |
| CSE 595 | Continuing Registration |
| CEN 584 | Internship |
| CEN 580 | Practicum |
| CEN 799 | Dissertation |
| CSE 580 | Practicum |
| CEN 795 | Continuing Registration |
| CSE 355 | Intro Theoretical Computer Sci |
| CSE 355 | Intro Theoretical Computer Sci |
| CSE 355 | Intro Theoretical Computer Sci |
| CSE 599 | Thesis |
| CSE 355 | Intro Theoretical Computer Sci |
| CSE 355 | Intro Theoretical Computer Sci |
| CEN 590 | Reading and Conference |
| CEN 580 | Practicum |
| CEN 792 | Research |
| CSE 580 | Practicum |
| CSE 790 | Reading and Conference |
2019 Fall
| Course Number | Course Title |
|---|---|
| CSE 790 | Reading and Conference |
| CSE 599 | Thesis |
| CSE 792 | Research |
| CSE 795 | Continuing Registration |
| CSE 799 | Dissertation |
| CSE 590 | Reading and Conference |
| CSE 580 | Practicum |
| CSE 595 | Continuing Registration |
| CEN 792 | Research |
| CEN 580 | Practicum |
| CEN 595 | Continuing Registration |
| CEN 790 | Reading and Conference |
| CEN 799 | Dissertation |
| CSE 494 | Special Topics |
| CEN 599 | Thesis |
2019 Summer
| Course Number | Course Title |
|---|---|
| CEN 584 | Internship |
2019 Spring
| Course Number | Course Title |
|---|---|
| CEN 599 | Thesis |
| CSE 595 | Continuing Registration |
| CSE 790 | Reading and Conference |
| CSE 590 | Reading and Conference |
| CSE 599 | Thesis |
| CSE 593 | Applied Project |
| CSE 799 | Dissertation |
| CSE 795 | Continuing Registration |
| CSE 792 | Research |
| CSE 595 | Continuing Registration |
| CEN 595 | Continuing Registration |
| CSE 580 | Practicum |
| CEN 580 | Practicum |
| CEN 580 | Practicum |
| CEN 584 | Internship |
| CEN 795 | Continuing Registration |
| CEN 799 | Dissertation |
| CSE 591 | Seminar |
| CEN 792 | Research |
| CSE 790 | Reading and Conference |
| CSE 599 | Thesis |
| CSE 580 | Practicum |
2018 Fall
| Course Number | Course Title |
|---|---|
| CEN 792 | Research |
| CSE 595 | Continuing Registration |
| CSE 599 | Thesis |
| CSE 792 | Research |
| CSE 795 | Continuing Registration |
| CSE 590 | Reading and Conference |
| CSE 580 | Practicum |
| CSE 790 | Reading and Conference |
| CSE 799 | Dissertation |
| CEN 599 | Thesis |
| CEN 584 | Internship |
| CEN 580 | Practicum |
| CEN 595 | Continuing Registration |
| CEN 790 | Reading and Conference |
| CEN 799 | Dissertation |
| CEN 795 | Continuing Registration |
| CEN 584 | Internship |
| CSE 494 | Special Topics |
2018 Summer
| Course Number | Course Title |
|---|---|
| CSE 580 | Practicum |
| CSE 595 | Continuing Registration |
| CSE 599 | Thesis |
| CSE 795 | Continuing Registration |
| CSE 584 | Internship |
| CSE 790 | Reading and Conference |
| CSE 795 | Continuing Registration |
| CEN 584 | Internship |
| CEN 595 | Continuing Registration |
| CEN 595 | Continuing Registration |
2018 Spring
| Course Number | Course Title |
|---|---|
| CEN 580 | Practicum |
| CSE 792 | Research |
| CSE 795 | Continuing Registration |
| CSE 799 | Dissertation |
| CSE 593 | Applied Project |
| CSE 590 | Reading and Conference |
| CSE 790 | Reading and Conference |
| CEN 595 | Continuing Registration |
| CEN 790 | Reading and Conference |
| CEN 599 | Thesis |
| CSE 599 | Thesis |
| CEN 584 | Internship |
| CSE 580 | Practicum |
| CEN 792 | Research |
| CEN 792 | Research |
| CEN 580 | Practicum |
| CEN 799 | Dissertation |
| 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 |
| CSE 595 | Continuing Registration |