Isaac Amundson is a research engineer on the Trusted Methods team in the Applied Research & Technology organization at Collins Aerospace. He has over 15 years of academic and industry experience in safety-critical cyber-physical systems research and development 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 his PhD in Computer Science (2010), all from Vanderbilt University. In addition, he received Functional Safety engineer certification from TÜV Rheinland in 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-assurance systems. In his current role, he participates on multiple government-sponsored (mostly DARPA) research programs in which he is exploring practical methods for generating and conveying assurance through the use of new and existing formal analysis tools, including the Collins Aerospace AGREE, Resolute, and BriefCASE tools.