Hasso-Plattner-Institut
  
Hasso-Plattner-Institut
Prof. Dr. Holger Giese
  
 

Group: Dr. Leen Lambers

E-Mail: sven.schneider(at)hpi.de

Degree: Dipl.-Inform.

Phone: +49 (0)331 5509 - 353

Room: A-2.7

Research Interests

  • Controller Synthesis for Discrete Event Systems (Supervisory Control; Hierarchical Control, Concurrent and Distributed Control)
  • Formal Verification (Isabelle/HOL)
  • Synthesis and Verification of Models
  • Graph Transformation (DPO style) and Category Theory