Simon Wimmer

I studied computer science at the Technical University of Munich (Bachelor's) and the University of Pennsylvania (Master's) from 2011 until 2015. I recently started to work at the Chair for Logic and Verification as a research assistant.

Address: Technische Universität München
Institut für Informatik
Boltzmannstr. 3
85748 Garching
Telephone: +49 (89) 289-17329
Telefax: +49 (89) 289-17307
Office: MI 00.09.064

At the moment I'm formalizing the Theory of Timed Automata in Isabelle.


Conference Papers

Workshop Papers


Archive of Formal Proofs

Bachelor's thesis