Emanuel Regnath
![Emanuel Regnath](https://blog.adacore.com/assets/i/userphotos/4761/regnath_6886f0b272d27dfb4b33e7c56ed6985b.jpg)
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.
No entries exist by that author.