Timo Kamph

 

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