Markus N. Rabe
Markus N. Rabe (Ph.D. Student)
I just moved to UC Berkeley. Please find my new homepage here.
I study model checking problems for system properties beyond LTL and CTL*, including properties from information-flow security and also probabilistic properties. Their common feature is that they cannot be determined by considering a single execution of the system. I focus on their automatic verification using automata-theory and symbolic model checking techniques.
|Seminar: Games, Synthesis and Robotics.
|Assistant for Programmierung 1.
|Student assistant for Concurrent Programming at the Dependable Systems Chair.
|Student assistant for a preparatory course.
|Student assistant for Programmierung 2 at the Software Engineering Chair.
|Student assistant for Programmierung 1 at the Programming Systems Lab.
|Student assistant for a preparatory course helping new students to catch up to university level math.