To content
Department of Computer Science
Design Automation for Embedded Systems Group

Lars Willemsen M.Sc

PhD student interested in the fields of real-time systems, specifically sustainability, timing anomalies and real time operating systems. Knowledgeable of proof assistants, formal methods and general purpose compression.

If you are a student looking for a thesis supervisor in any of these directions feel free to contact me.

Address:
Lars Willemsen
Technische Universität Dortmund
Lehrstuhl Informatik 12
Otto-Hahn-Str. 16
44227 Dortmund

© TU Dortmund