Award Name Awarded By Recipient Citation EMPixx Mike Bibbo & Kevin Krigsvold NASA Videographer of the Year Mike Bibbo 3rd Place for NASA 360’s Indycar Program Richard T.…
Author: Katie.Froiland
2008 Recipients
Award Name Awarded By Recipient Citation Certificate of Recognition NASA Inventions and Contributions Board Dr. Sang-Hyon Chu “Patent for High Altitude Airship Configuration and Power Technology and Method for Operation…
11-07-2018 | Jean-Baptiste Jeannin: Formal Verification of ACAS X, an Industrial Airborne Collision Avoidance System
Title: Formal Methods Seminar: Formal Verification of ACAS X, an Industrial Airborne Collision Avoidance System Speaker: Jean-Baptiste Jeannin, Assistant Professor, University of Michigan – Ann Arbor Date: Wednesday, November 7, 2018 Time: 1:00PM…