Aditya Zutshi
Senior Research Scientist at Galois, Inc.
Portland, Oregon, United States
Summary
👤
Senior🎓
Top SchoolAditya Zutshi is a Senior Research Scientist based in Portland, Oregon with 11 years of experience translating cutting-edge research into practical, provable solutions for safety- and security-critical systems. At Galois he leads DARPA- and AFRL-funded projects as a Principal Investigator, focusing on assured autonomy, runtime assurance for autonomous systems, and vehicle cybersecurity—work that bridges formal methods, hardware security, and operational assurance. His background spans academia and industry, including a PhD from the University of Colorado Boulder and hands-on embedded software experience at Toshiba, giving him a rare blend of theoretical depth and low-level systems fluency. Known for turning formal arguments and continuous evaluation into deployable assurance artifacts, he excels at moving complex cyber-physical innovations from concept to audited practice.
11 years of coding experience
8 years of employment as a software developer
Master of Science - MS, Master of Science - MS at University of Colorado Boulder
English
Github Skills (32)
simulate9
minimize9
refinement8
scatter8
verification8
dynamical-systems8
verify8
simulation8
controller7
system-dynamics7
dynamics7
cryptography7
effort7
crypto7
symbolic-execution6
Programming languages (6)
Github contributions (5)
zutshi/S3CAMR
Feb 2016 - Jun 2019
Contributions:671 commits, 1 PR, 296 pushes in 3 years 5 months
affinerefinement
zutshi/S3CAMX
Jun 2015 - May 2017
Simulate and Scatter with Symbolic Execution
Contributions:124 commits, 126 pushes, 9 branches in 1 year 11 months
symbolic-executionpythonscatterexecutionsymbolic
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.