Aditya Z.
Senior Applied Scientist @ Galois, Inc | PhD in Formal Verification of Safe and Secure Systems
- Role
- Senior Research Scientist at Galois, Inc.
- Location
- Portland, OR, US
- LinkedIn followers
- 500 followers
About Aditya Z.
I enjoy bridging the gap between research and practice, transitioning ideas closer to industrial practice. At Galois, I work on leveraging automated reasoning to solve hard problems about assurances of complex systems of systems, including software, embedded systems, hardware designs and crypto. Modeling, reverse engineering, using formal verification, automation to provide safety and cybersecurity assurances are a common theme. I am a Principal investigator on projects funded by DARPA, AFRL and NHTSA.
Experience
Senior Research Scientist
Mar 2018 — Present
Education
University of Colorado Boulder
Doctor of Philosophy - PhD
University of Colorado Boulder
Master of Science - MS
Find verified contacts for anyone on LinkedIn
Unifers gives sales teams verified emails and direct dials, enriched profiles, and outreach that lands in the inbox.
Free plan included · No credit card required
This profile is compiled from publicly available professional sources. Unifers is not affiliated with or endorsed by LinkedIn. Request removal of this profile.