Table of Contents

David Müller

My name in:

Currently, I am a doctoral student in the research training group QuantLA. I work under the supervision of Christel Baier in the area of probabilistic model checking and automata theory.

I am responsible for first aid at the Institute of Theoretical Computer Science of TU Dresden.


Phone:+49 (0) 351 463 38293
Office: Room APB 3004
Nöthnitzer Straße 46
01187 Dresden
Postal Address:TU Dresden
Fakultät Informatik
01062 Dresden
GnuPG key:david.mueller.asc
Fingerprint:14D3 9306 6A9F EF87 EFE0 D09D EAAC 8F76 C7B1 FA95

Publication list