Emanuel Regnath

Emanuel Regnath is a research associate at the Technical University of Munich (TUM). Emanuel previously worked at the TUM Chair of Real-Time Computer Systems on the formal verification of a flight-stack of a Micro-Air-Vehicle (MAV) using SPARK 2014.