To content
Department of Computer Science
Design Automation of Embedded Systems (DAES) Group

M.Sc. Daniel Kuhse

E-Mail: daniel{dot}kuhse{at}


Technische Universität Dortmund

Lehrstuhl Informatik 12

Otto-Hahn-Str. 16

44227 Dortmund

Room E08

Photo von Daniel Kuhse Please provide a copyright notice

Research Interests

Generally interested in anything related to the application of formal methods! Currently working on the verification of real-time operating systems and verification of neural networks.