Dr Φ

Georgios Fainekos (aka Dr. Φ) is a Senior Principal Scientist at Toyota Motor North America R&D, within TRI-NA, where he works on trustworthy AI-enabled Cyber-Physical Systems (CPS), with emphasis on automated driving systems and mobile robots. His research develops formal and computational methods for specifying, testing, verifying, and controlling autonomous systems under uncertainty. His technical interests lie at the intersection of applied logic, formal verification, requirements, automated testing, control theory, artificial intelligence, machine learning, and optimization. Before joining Toyota, Dr. Fainekos was a tenured Associate Professor of Computer Science and Computer Engineering in the School of Computing and Augmented Intelligence (SCAI) at Arizona State University (ASU). At ASU, he led NSF, DARPA, AFRL, and industry-funded projects with partners including Intel, Toyota, and Bosch. He has also been a Postdoctoral Researcher at NEC Laboratories America in the System Analysis and Verification Group. He received his Ph.D. in Computer and Information Science from the University of Pennsylvania in 2008 where he was affiliated with the GRASP laboratory. He also holds a Diploma degree (B.Sc. & M.Sc.) in Mechanical Engineering from the National Technical University of Athens (NTUA). Dr. Fainekos received the NSF CAREER Award in 2013 and the ASU SCIDSE Best Researcher Junior Faculty Award. He was recognized among the top 5% of teachers at ASU in 2019 and 2021. His work has received several awards and nominations, including the Runtime Verification Test-of-Time Award and the Frank Anger Memorial ACM SIGBED/SIGSOFT Student Award. He has also served as program co-chair of the ACM International Conference on Hybrid Systems: Computation and Control.

Contact: 

• Professional: firstname . lastname at toyota.com

• Requests for reviews, letters, etc: lastname at ieee.org

More information: [CV] (semi-updated on: 2023.10.31)