Timo Kamph
Position: 
Research Assistant
Phone:
+49-40-42878-4372
Room:
4.056
Email: timo.kamph(at)tuhh(dot)de
Research Interests
- Formal verification of cyber-physical systems
- Reachability analysis for hybrid automata
- Verification of Modelica models
- Reachability analysis for differential-algebraic equations