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
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.