Edit My Profile

Integrated Search Menu

Search in:

Georgios Fainekos

Profile photo
School of Computing, Informatics, and Decision Systems Engineering
Assoc Professor
Faculty, TEMPE Campus, Mailcode 8809
Biography: 

Georgios Fainekos is an associate professor at the School of Computing, Informatics and Decision Systems Engineering 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).
Spring 2021
Course NumberCourse Title
CSE 340Principles of Programming Lang
CSE 493Honors Thesis
CSE 580Practicum
CEN 580Practicum
CEN 584Internship
CEN 590Reading and Conference
CSE 590Reading and Conference
CEN 595Continuing Registration
CSE 595Continuing Registration
CEN 599Thesis
CSE 599Thesis
CEN 790Reading and Conference
CSE 790Reading and Conference
MAE 792Research
CSE 792Research
CEN 792Research
CSE 795Continuing Registration
CEN 795Continuing Registration
CSE 799Dissertation
CEN 799Dissertation
Fall 2020
Course NumberCourse Title
ASU 101-CSEThe ASU Experience
CSE 355Intro Theoretical Computer Sci
CSE 492Honors Directed Study
CEN 580Practicum
CSE 580Practicum
CSE 590Reading and Conference
CEN 595Continuing Registration
CSE 595Continuing Registration
CEN 599Thesis
CSE 599Thesis
CEN 790Reading and Conference
CSE 790Reading and Conference
MAE 792Research
CEN 792Research
CSE 792Research
CEN 795Continuing Registration
CSE 795Continuing Registration
CEN 799Dissertation
CSE 799Dissertation
Summer 2020
Course NumberCourse Title
CEN 584Internship
CEN 792Research
CSE 795Continuing Registration
Spring 2020
Course NumberCourse Title
CSE 355Intro Theoretical Computer Sci
CEN 580Practicum
CSE 580Practicum
CEN 584Internship
CEN 590Reading and Conference
CSE 590Reading and Conference
CSE 593Applied Project
CEN 595Continuing Registration
CSE 595Continuing Registration
CEN 599Thesis
CSE 599Thesis
CSE 790Reading and Conference
CSE 792Research
CEN 792Research
CSE 795Continuing Registration
CEN 795Continuing Registration
CSE 799Dissertation
CEN 799Dissertation
Fall 2019
Course NumberCourse Title
CSE 494Special Topics
CEN 580Practicum
CSE 580Practicum
CSE 590Reading and Conference
CEN 595Continuing Registration
CSE 595Continuing Registration
CEN 599Thesis
CSE 599Thesis
CEN 790Reading and Conference
CSE 790Reading and Conference
CEN 792Research
CSE 792Research
CSE 795Continuing Registration
CSE 799Dissertation
CEN 799Dissertation
Summer 2019
Course NumberCourse Title
CEN 584Internship
Spring 2019
Course NumberCourse Title
CEN 580Practicum
CSE 580Practicum
CEN 584Internship
CEN 590Reading and Conference
CSE 590Reading and Conference
CSE 591Seminar
CSE 593Applied Project
CEN 595Continuing Registration
CSE 595Continuing Registration
CEN 599Thesis
CSE 599Thesis
CSE 790Reading and Conference
CSE 792Research
CEN 792Research
CSE 795Continuing Registration
CEN 795Continuing Registration
CSE 799Dissertation
CEN 799Dissertation
Fall 2018
Course NumberCourse Title
CSE 494Special Topics
CSE 580Practicum
CEN 580Practicum
CEN 584Internship
CSE 590Reading and Conference
CSE 595Continuing Registration
CEN 595Continuing Registration
CSE 599Thesis
CEN 599Thesis
CSE 790Reading and Conference
CEN 790Reading and Conference
CSE 792Research
CEN 792Research
CSE 795Continuing Registration
CEN 795Continuing Registration
CSE 799Dissertation
CEN 799Dissertation
Summer 2018
Course NumberCourse Title
CSE 580Practicum
CEN 584Internship
CSE 584Internship
CSE 595Continuing Registration
CEN 595Continuing Registration
CSE 599Thesis
CSE 790Reading and Conference
CSE 795Continuing Registration
Spring 2018
Course NumberCourse Title
CSE 355Intro Theoretical Computer Sci
CEN 580Practicum
CSE 580Practicum
CEN 584Internship
CSE 590Reading and Conference
CSE 593Applied Project
CEN 595Continuing Registration
CSE 595Continuing Registration
CEN 599Thesis
CSE 599Thesis
CEN 790Reading and Conference
CSE 790Reading and Conference
CEN 792Research
CSE 792Research
CSE 795Continuing Registration
CSE 799Dissertation
CEN 799Dissertation
Fall 2017
Course NumberCourse Title
CSE 355Intro Theoretical Computer Sci
CEN 580Practicum
CSE 580Practicum
CEN 584Internship
CSE 590Reading and Conference
CSE 593Applied Project
CEN 595Continuing Registration
CSE 595Continuing Registration
CEN 599Thesis
CSE 599Thesis
CEN 790Reading and Conference
CSE 790Reading and Conference
CEN 792Research
CSE 792Research
CSE 795Continuing Registration
CSE 799Dissertation
CEN 799Dissertation
Summer 2017
Course NumberCourse Title
CSE 580Practicum
CSE 584Internship
CEN 595Continuing Registration
CSE 595Continuing Registration
CSE 599Thesis
CSE 790Reading and Conference
CSE 795Continuing Registration
Spring 2017
Course NumberCourse Title
ASU 101-CSEThe ASU Experience
CSE 580Practicum
CEN 580Practicum
CSE 590Reading and Conference
CSE 593Applied Project
CEN 595Continuing Registration
CSE 595Continuing Registration
CEN 599Thesis
CSE 599Thesis
CEN 790Reading and Conference
CSE 790Reading and Conference
CEN 792Research
CSE 792Research
CSE 795Continuing Registration
CSE 799Dissertation
CEN 799Dissertation
Fall 2016
Course NumberCourse Title
CEN 580Practicum
CSE 580Practicum
CSE 590Reading and Conference
CSE 593Applied Project
CEN 595Continuing Registration
CSE 595Continuing Registration
CEN 599Thesis
CSE 599Thesis
CEN 790Reading and Conference
CSE 790Reading and Conference
CEN 792Research
CSE 792Research
CSE 795Continuing Registration
CSE 799Dissertation
CEN 799Dissertation
Summer 2016
Course NumberCourse Title
CSE 499Individualized Instruction
CSE 580Practicum
CSE 584Internship
CSE 595Continuing Registration
CEN 595Continuing Registration
CSE 599Thesis
CSE 790Reading and Conference
CSE 795Continuing Registration
Expertise Areas: 
Logic
Systems and Control Theory
Discrete Mathematics
Machine Learning
Dynamical Systems Theory
Software Development Methodologies