
Dr. Nils Müllner
Skills
Timeline
Professional experience for Nils Müllner
- Current 5 years and 4 months, since Nov 2019Deutsches Zentrum für Luft- und Raumfahrt e.V.
Wissenschaftlicher Mitarbeiter
Projects: -VVM: Developing a methodological approach for the safety proof of highly autonomous vehicles (SAE-Level 4/5) for the homologation in an urban environment -SetLevel4to5: Simulative development and testing of level 4 and 5 systems
- 4 years, Nov 2015 - Oct 2019
Assistant Professor
Mälardalen University
I work at the TOCSYC project (www.tocsyc.se) and on the SafeCOP project (www.safecop.eu). Furthermore I teach Databases and Project Embedded Systems.
In the project Critical Systems Engineering I worked with Prof. Dr. Martin Fränzle and PD Dr. Sibylle Fröschle on determining the safety impact of security. We employed formal methods and simulation to evaluate and quantify safety goals probabilistically under various security settings.
My PhD thesis discusses fault tolerance in distributed systems. It contributes to the state of the art by providing a sound terminology and taxonomy. Furthermore, it exploits popular methods from model checking and further extends them for structured systems. I submitted my thesis in september 2013 and am waiting for my defense.
I developed novel methods in the context of autonomous verification and analysis of complex systems. I worked in sub-project H4 and S3.
Educational background for Nils Müllner
- 3 years and 1 month, Apr 2008 - Apr 2011
Informatik
Universität Oldenburg
Languages
German
First language
English
Fluent
Spanish
Basic
Swedish
Intermediate
Latein
-
XING members with similar profiles
XING – The jobs network
Over 1 million jobs
Find just the right job for you on XING.
Job offers just for you
Get found by employers and over 20,000 recruiters.
22 million members
Connect with new people and gather inspiration to boost your working life.
Free membership
Basic membership is free, but the opportunities are priceless.