Search in:
Biography:
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).
| Summer 2022 | |
|---|---|
| Course Number | Course Title |
| CEN 584 | Internship |
| CSE 599 | Thesis |
| CEN 792 | Research |
| CSE 792 | Research |
| CSE 795 | Continuing Registration |
| CSE 799 | Dissertation |
| Spring 2022 | |
|---|---|
| Course Number | Course Title |
| CSE 340 | Principles of Programming Lang |
| CSE 493 | Honors Thesis |
| CSE 580 | Practicum |
| CEN 580 | Practicum |
| CEN 584 | Internship |
| CEN 590 | Reading and Conference |
| CSE 590 | Reading and Conference |
| CEN 595 | Continuing Registration |
| CSE 595 | Continuing Registration |
| CEN 599 | Thesis |
| CSE 599 | Thesis |
| CEN 790 | Reading and Conference |
| CSE 790 | Reading and Conference |
| MAE 792 | Research |
| CSE 792 | Research |
| CEN 792 | Research |
| CSE 795 | Continuing Registration |
| CEN 795 | Continuing Registration |
| CSE 799 | Dissertation |
| CEN 799 | Dissertation |
| Fall 2021 | |
|---|---|
| Course Number | Course Title |
| CSE 492 | Honors Directed Study |
| CEN 580 | Practicum |
| CSE 580 | Practicum |
| CSE 590 | Reading and Conference |
| CEN 595 | Continuing Registration |
| CSE 595 | Continuing Registration |
| CSE 598 | Special Topics |
| CEN 599 | Thesis |
| CSE 599 | Thesis |
| CEN 790 | Reading and Conference |
| CSE 790 | Reading and Conference |
| MAE 792 | Research |
| CEN 792 | Research |
| CSE 792 | Research |
| CEN 795 | Continuing Registration |
| CSE 795 | Continuing Registration |
| CEN 799 | Dissertation |
| CSE 799 | Dissertation |
| Summer 2021 | |
|---|---|
| Course Number | Course Title |
| CEN 584 | Internship |
| CSE 792 | Research |
| CEN 792 | Research |
| CSE 795 | Continuing Registration |
| Spring 2021 | |
|---|---|
| Course Number | Course Title |
| CSE 340 | Principles of Programming Lang |
| CSE 493 | Honors Thesis |
| CSE 580 | Practicum |
| CEN 580 | Practicum |
| CEN 584 | Internship |
| CEN 590 | Reading and Conference |
| CSE 590 | Reading and Conference |
| CEN 595 | Continuing Registration |
| CSE 595 | Continuing Registration |
| CEN 599 | Thesis |
| CSE 599 | Thesis |
| CEN 790 | Reading and Conference |
| CSE 790 | Reading and Conference |
| MAE 792 | Research |
| CSE 792 | Research |
| CEN 792 | Research |
| CSE 795 | Continuing Registration |
| CEN 795 | Continuing Registration |
| CSE 799 | Dissertation |
| CEN 799 | Dissertation |
| Fall 2020 | |
|---|---|
| Course Number | Course Title |
| ASU 101-CSE | The ASU Experience |
| CSE 355 | Intro Theoretical Computer Sci |
| CSE 492 | Honors Directed Study |
| CEN 580 | Practicum |
| CSE 580 | Practicum |
| CSE 590 | Reading and Conference |
| CEN 595 | Continuing Registration |
| CSE 595 | Continuing Registration |
| CEN 599 | Thesis |
| CSE 599 | Thesis |
| CEN 790 | Reading and Conference |
| CSE 790 | Reading and Conference |
| MAE 792 | Research |
| CEN 792 | Research |
| CSE 792 | Research |
| CEN 795 | Continuing Registration |
| CSE 795 | Continuing Registration |
| CEN 799 | Dissertation |
| CSE 799 | Dissertation |
| Summer 2020 | |
|---|---|
| Course Number | Course Title |
| CEN 584 | Internship |
| CEN 792 | Research |
| CSE 795 | Continuing Registration |
| Spring 2020 | |
|---|---|
| Course Number | Course Title |
| CSE 355 | Intro Theoretical Computer Sci |
| CEN 580 | Practicum |
| CSE 580 | Practicum |
| CEN 584 | Internship |
| CEN 590 | Reading and Conference |
| CSE 590 | Reading and Conference |
| CSE 593 | Applied Project |
| CEN 595 | Continuing Registration |
| CSE 595 | Continuing Registration |
| CEN 599 | Thesis |
| CSE 599 | Thesis |
| CSE 790 | Reading and Conference |
| CSE 792 | Research |
| CEN 792 | Research |
| CSE 795 | Continuing Registration |
| CEN 795 | Continuing Registration |
| CSE 799 | Dissertation |
| CEN 799 | Dissertation |
| Fall 2019 | |
|---|---|
| Course Number | Course Title |
| CSE 494 | Special Topics |
| CEN 580 | Practicum |
| CSE 580 | Practicum |
| CSE 590 | Reading and Conference |
| CEN 595 | Continuing Registration |
| CSE 595 | Continuing Registration |
| CEN 599 | Thesis |
| CSE 599 | Thesis |
| CEN 790 | Reading and Conference |
| CSE 790 | Reading and Conference |
| CEN 792 | Research |
| CSE 792 | Research |
| CSE 795 | Continuing Registration |
| CSE 799 | Dissertation |
| CEN 799 | Dissertation |
| Summer 2019 | |
|---|---|
| Course Number | Course Title |
| CEN 584 | Internship |
| Spring 2019 | |
|---|---|
| Course Number | Course Title |
| CEN 580 | Practicum |
| CSE 580 | Practicum |
| CEN 584 | Internship |
| CEN 590 | Reading and Conference |
| CSE 590 | Reading and Conference |
| CSE 591 | Seminar |
| CSE 593 | Applied Project |
| CEN 595 | Continuing Registration |
| CSE 595 | Continuing Registration |
| CEN 599 | Thesis |
| CSE 599 | Thesis |
| CSE 790 | Reading and Conference |
| CSE 792 | Research |
| CEN 792 | Research |
| CSE 795 | Continuing Registration |
| CEN 795 | Continuing Registration |
| CSE 799 | Dissertation |
| CEN 799 | Dissertation |
| Fall 2018 | |
|---|---|
| Course Number | Course Title |
| CSE 494 | Special Topics |
| CSE 580 | Practicum |
| CEN 580 | Practicum |
| CEN 584 | Internship |
| CSE 590 | Reading and Conference |
| CSE 595 | Continuing Registration |
| CEN 595 | Continuing Registration |
| CSE 599 | Thesis |
| CEN 599 | Thesis |
| CSE 790 | Reading and Conference |
| CEN 790 | Reading and Conference |
| CSE 792 | Research |
| CEN 792 | Research |
| CSE 795 | Continuing Registration |
| CEN 795 | Continuing Registration |
| CSE 799 | Dissertation |
| CEN 799 | Dissertation |
| Summer 2018 | |
|---|---|
| Course Number | Course Title |
| CSE 580 | Practicum |
| CEN 584 | Internship |
| CSE 584 | Internship |
| CSE 595 | Continuing Registration |
| CEN 595 | Continuing Registration |
| CSE 599 | Thesis |
| CSE 790 | Reading and Conference |
| CSE 795 | Continuing Registration |
| Spring 2018 | |
|---|---|
| Course Number | Course Title |
| CSE 355 | Intro Theoretical Computer Sci |
| CEN 580 | Practicum |
| CSE 580 | Practicum |
| CEN 584 | Internship |
| CSE 590 | Reading and Conference |
| CSE 593 | Applied Project |
| CEN 595 | Continuing Registration |
| CSE 595 | Continuing Registration |
| CEN 599 | Thesis |
| CSE 599 | Thesis |
| CEN 790 | Reading and Conference |
| CSE 790 | Reading and Conference |
| CEN 792 | Research |
| CSE 792 | Research |
| CSE 795 | Continuing Registration |
| CSE 799 | Dissertation |
| CEN 799 | Dissertation |
| Fall 2017 | |
|---|---|
| Course Number | Course Title |
| CSE 355 | Intro Theoretical Computer Sci |
| CEN 580 | Practicum |
| CSE 580 | Practicum |
| CEN 584 | Internship |
| CSE 590 | Reading and Conference |
| CSE 593 | Applied Project |
| CEN 595 | Continuing Registration |
| CSE 595 | Continuing Registration |
| CEN 599 | Thesis |
| CSE 599 | Thesis |
| CEN 790 | Reading and Conference |
| CSE 790 | Reading and Conference |
| CEN 792 | Research |
| CSE 792 | Research |
| CSE 795 | Continuing Registration |
| CSE 799 | Dissertation |
| CEN 799 | Dissertation |