Integrated Search Menu

Georgios Fainekos

Profile photo
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 Ph.D. in Computer and Information Science from the University of Pennsylvania in 2008. He 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, Robotics, and Autonomous Vehicles. 

Personal webpage: http://www.public.asu.edu/~gfaineko/

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).
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
Spring 2016
Course NumberCourse Title
CSE 499Individualized Instruction
CSE 580Practicum
CEN 580Practicum
CSE 590Reading and Conference
CSE 591Seminar
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
Fall 2015
Course NumberCourse Title
CSE 494Special Topics
CSE 499Individualized Instruction
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
Summer 2015
Course NumberCourse Title
CSE 580Practicum
CEN 590Reading and Conference
CSE 595Continuing Registration
CSE 599Thesis
CSE 790Reading and Conference
CSE 795Continuing Registration
Spring 2015
Course NumberCourse Title
CSE 355Intro Theoretical Computer Sci
CSE 580Practicum
CSE 590Reading and Conference
CSE 593Applied Project
CSE 595Continuing Registration
CEN 599Thesis
CSE 599Thesis
CEN 790Reading and Conference
CSE 790Reading and Conference
CEN 792Research
CSE 792Research
CSE 795Continuing Registration
CSE 799Dissertation
Fall 2014
Course NumberCourse Title
CSE 574Planning/Learning Methods AI
CSE 580Practicum
CSE 590Reading and Conference
CSE 593Applied Project
CSE 595Continuing Registration
CSE 599Thesis
CEN 599Thesis
CSE 790Reading and Conference
CEN 790Reading and Conference
CSE 792Research
CSE 795Continuing Registration
CSE 799Dissertation
Summer 2014
Course NumberCourse Title
CSE 580Practicum
CSE 595Continuing Registration
CSE 599Thesis
CSE 790Reading and Conference
CSE 795Continuing Registration
Spring 2014
Course NumberCourse Title
CSE 355Intro Theoretical Computer Sci
CSE 580Practicum
CSE 590Reading and Conference
CSE 593Applied Project
CSE 595Continuing Registration
CSE 599Thesis
CEN 790Reading and Conference
CSE 790Reading and Conference
CSE 792Research
CSE 795Continuing Registration
CSE 799Dissertation
Fall 2013
Course NumberCourse Title
CSE 355Intro Theoretical Computer Sci
CSE 580Practicum
CSE 590Reading and Conference
CSE 593Applied Project
CSE 595Continuing Registration
CSE 599Thesis
CSE 790Reading and Conference
CSE 792Research
CSE 795Continuing Registration
Summer 2013
Course NumberCourse Title
CSE 580Practicum
CSE 590Reading and Conference
CSE 595Continuing Registration
CSE 599Thesis
CSE 790Reading and Conference
CSE 795Continuing Registration
Spring 2013
Course NumberCourse Title
CSE 580Practicum
CSE 590Reading and Conference
CSE 591Seminar
CSE 593Applied Project
CSE 595Continuing Registration
CSE 599Thesis
CSE 790Reading and Conference
CSE 792Research
CSE 795Continuing Registration
CSE 799Dissertation