Isaac Amundson is a research engineer in the Trusted Systems group at Collins Aerospace. He has 15 years of academic and industry experience in safety-critical cyber-physical systems R&D across medical, high-voltage power, agriculture and off-road construction machinery, commercial vehicle and aerospace domains, and has first-hand knowledge of the challenges, roadblocks, and pitfalls involved in certifying products in these highly-regulated environments.
Dr. Amundson received MS degrees in Mechanical Engineering (2004) and Computer Science (2006), and a PhD in Computer Science (2010), all from Vanderbilt University. In addition, he is a certified Functional Safety engineer (TUV Rheinland, 2017).
Dr. Amundson has a strong background in systems engineering best practices, including model-based development and formal methods, and has led the design and implementation of multiple model-based development tools and toolchains for providing inherent dependability in high-integrity systems. He is currently participating on the DARPA CASE program (TAs 2 and 5), as well as the DARPA Assured Autonomy program (TAs 1-3), in which he is exploring practical methods for generating and conveying assurance through the use of new and existing tools, including the Collins Aerospace AGREE and Resolute tools.