Isaac Amundson is a Technical Fellow with the Trusted Methods group in the Applied Research & Technology organization at Collins Aerospace. He has over 20 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 engineering, formal methods, and other assurance technologies, and he 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 leads multiple government-sponsored (DARPA, NASA) 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.