Position:
Research Assistant

Phone:
+49-40-42878-4372

Room:
4.056

Email: timo.kamph@tuhh.de

Research Interests

• Formal verification of cyber-physical systems
• Reachability analysis for hybrid automata
• Verification of Modelica models
• Reachability analysis for differential-algebraic equations