Dr ΓΦ
bio
Georgios Fainekos (aka Dr. ΓΦ) is a Senior Principal Scientist at Toyota Motor North America R&D (within TRINA a division of AMRD). 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 holds a Diploma degree (B.Sc. & M.Sc.) in Mechanical Engineering from the National Technical University of Athens (NTUA). Among other professional roles, he has been a tenured faculty at the School of Computing and Augmented Intelligence (SCAI) at Arizona State University (ASU), and a Postdoctoral Researcher at NEC Laboratories America in the System Analysis & Verification Group. He is currently working on Cyber-Physical Systems (CPS) and robotics with a focus on Automated Driving Systems (ADS). His technical expertise is on applied logic, formal verification & requirements, testing, control theory, artificial intelligence, and optimization. In 2013, Dr. Fainekos received the NSF CAREER award and the ASU SCIDSE Best Researcher Junior Faculty Award. He has also been recognized with the top 5% teacher award in 2019 and 2021. His research has received several awards and nominations (e.g., IEEE CASE 2021, IEEE ITSC 2019, ACM HSCC 2019, IEEE/ACM MEMOCODE 2019), and the 2008 Frank Anger Memorial ACM SIGBED/SIGSOFT Student Award. In 2016, Dr. Fainekos was the program co-Chair for the ACM International Conference on Hybrid Systems: Computation and Control (HSCC).
Contact:
Professional: firstname . lastname at toyota.com
Requests for reviews, letters, etc: lastname at hotmail.com
some recent publications
Safe Robot Learning in Assistive Devices through Neural Network Repair, with Keyvan Majd, Geoffrey Mitchell Clark, Tanmay Khandait, Siyu Zhou, Sriram Sankaranarayanan, Heni Amor
Formalizing and Evaluating Requirements of Perception Systems for Automated Vehicles using Spatio-Temporal Perception Logic, with Mohammad Hekmatnejad, Bardh Hoxha, Jyotirmoy V. Deshmukh, Yezhou Yang
NMPC-LBF: Nonlinear MPC with Learned Barrier Function for Decentralized Safe Navigation of Multiple Robots in Unknown Environments, with Amir Salimi Lafmejani and Spring Berman
Local Repair of Neural Networks Using Optimization, with Keyvan Majd, Siyu Zhou, Heni Ben Amor, Sriram Sankaranarayanan
Joint Communication and Motion Planning for Cobots, with Mehdi Dadvar, Keyvan Majd, Elena Oikonomou, Siddharth Srivastava
Part-X: A Family of Stochastic Algorithms for Search-Based Test Generation with Probabilistic Guarantees, with Giulia Pedrielli, Tanmay Khandait, Surdeep Chotaliya, Quinn Thibeault, Hao Huang, Mauricio Castillo-Effen
PSY-TaLiRo: A Python Toolbox for Search-Based Test Generation for Cyber-Physical Systems, with Quinn Thibeault, Jacob Anderson, Aniruddh Chandratre, Giulia Pedrielli
Risk-Bounded Control with Kalman Filtering and Stochastic Barrier Functions, with Shakiba Yaghoubi, Tomoya Yamaguchi, Danil Prokhorov, Bardh Hoxha
For more see [Google Scholar page]
some software tools
A Matlab toolbox for falsification, specification mining, monitoring, and conformance testing of Cyber-Physical Systems.
A Python toolbox for falsification and verification with probabilistic guarantees of Cyber-Physical Systems.
