Georgios Fainekos
Scholar

Georgios Fainekos

Google Scholar ID: WGRYgBEAAAAJ
Toyota Research Institute of North America
Cyber-Physical SystemsRoboticsTrustworthy AIFormal MethodsAutomatic control
Citations & Impact
All-time
Citations
5,633
 
H-index
37
 
i10-index
98
 
Publications
20
 
Co-authors
105
list available
Resume (English only)
Academic Achievements
  • - Received the NSF CAREER award and ASU SCIDSE Best Researcher Junior Faculty Award in 2013
  • - Recognized as top 5% teacher in 2019 and 2021
  • - Research has received several awards and nominations (e.g., IEEE CASE 2021, IEEE ITSC 2019, ACM HSCC 2019, IEEE/ACM MEMOCODE 2019)
  • - 2008 Frank Anger Memorial ACM SIGBED/SIGSOFT Student Award
  • - Published papers in multiple international conferences, such as ACM/IEEE ICCPS 2024, ACM TCPS 2024, NFM 2024, etc.
Research Experience
  • - Senior Principal Scientist at Toyota Motor North America R&D
  • - Tenured Associate Professor of Computer Science and Computer Engineering at Arizona State University (until 2022), leading and working on NSF, DARPA, AFRL, and industry-funded projects (e.g., Intel, Toyota, Bosch)
  • - Postdoctoral Researcher at NEC Laboratories America in the System Analysis & Verification Group
Education
  • - Ph.D. in Computer and Information Science, University of Pennsylvania, 2008 (affiliated with the GRASP laboratory)
  • - Diploma degree (B.Sc. & M.Sc.) in Mechanical Engineering, National Technical University of Athens (NTUA)
Background
  • Research interests include Cyber-Physical Systems (CPS) and robotics, with a focus on Automated Driving Systems (ADS). Technical expertise includes applied logic, formal verification & requirements, testing, control theory, artificial intelligence, and optimization.
Miscellany
  • Contact:
  • - Professional: firstname.lastname@toyota.com
  • - Requests for reviews, letters, etc: lastname@ieee.org