A | B | C | D | E | F 
 G | H | I | J | K | L | M 
 N | O | P | Q | R | S | T 
 U | V | W | X | Y | Z 
max planck institut
informatik
mpii logo Minerva of the Max Planck Society

Homepage

Klein, Felix

Felix Klein

Max-Planck-Institut für Informatik
Reactive Systems Group
Campus E1 3, Room 532
66123 Saarbrücken
Germany

Email: Get my email address via email
Phone: +49 681 302 5606
Fax: +49 681 302 5636


Research Interests


My research interests lie in the areas of synthesis and infinite games. In particular, I am interested in improving the synthesis process by finding suitable criteria that efficiently bound the solution space. Furthermore, I study the creation of easy to verify certificates for the synthesized solutions and corresponding game models to support these techniques.

Interests by Topic:

Publications



Teaching


Summer 2016 Assistant for the core lecture Embedded Systems at the Reactive Systems Group
      Summer 2015 Assistant for the advanced lecture Automata, Games, and Verification at the Reactive Systems Group
Summer 2014 Assistant for the core lecture Embedded Systems at the Reactive Systems Group
Summer 2014 Advisor for the seminar Advanced Topics in Infinite Games at the Reactive Systems Group
Winter 2013/14 Assistant for the advanced lecture Infinite Games at the Reactive Systems Group
Winter 2013/14 Assistant for the lecture Einführung in eingebettete Systeme at the Reactive Systems Group
Winter 2013/14 Advisor for the proseminar The Time Machine at the Reactive Systems Group
Summer 2013 Tutor for the core lecture Verification at the Reactive Systems Group
Winter 2012/13     Tutor for the advanced lecture Automata, Games and Verification at the Reactive Systems Group
Summer 2012 Tutor for the lecture Concurrent Programming at the Dependable Systems Chair
Winter 2011/12 Supervision Tutor for the lecture Programming 1 at the Dependable Systems Chair
Winter 2011/12 Tutor for the core lecture Compiler Construction at the Compiler Design Lab
Summer 2011 Tutor for the lecture Concurrent Programming at the Dependable Systems Chair
Winter 2010/11 Tutor for the lecture Programming 1 at the Programming Systems Lab