- 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