Zum Inhalt
Fakultät für Informatik
Design Automation of Embedded Systems (DAES) Group

M.Sc. Daniel Kuhse

E-Mail: daniel{dot}kuhse{at}tu-dortmund.de

Address:

Technische Universität Dortmund

Lehrstuhl Informatik 12

Otto-Hahn-Str. 16

44227 Dortmund

Room E08

Photo von Daniel Kuhse Bitte Bildnachweis einfügen

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.