CHRISTIAN EISENTRAUT

I am a Ph.D student at the chair of Holger Hermanns since summer 2007. My work is supported by the German Research Foundation (DFG) as part of the graduate school "Leistungsgarantien für Rechnersysteme".

Whenever you feel like getting in touch with me, come and see me in

or send an e-mail to:

My main research interest lies in the formal verification and analysis of concurrent systems.

I am currently working on models incorporating interactive, non-deterministic, and both discrete and continuous Markovian behaviour, called Markov automata. Markov automata are equipped with a notion of weak bisimulation that is weaker than existing bisimulations for Probabilistic Automata and Interactive Markov Chains, two interesting quantitive models of concurrency subsumed by Markov automata.

I am also interested in formal theories for weak memory models.

Besides research, I am dedicated to teaching.

Holger Hermanns and I have ventured to teach concurrency theory right in their first year of study. We now continue this effort in our basic course "Concurrent Programming", which makes concurrency theory (CCS, bisimulation and all that) meet practice (Java, locking, memory models).

Our course Concurrent Programming has been awarded the students' representatives council's teaching award 2011, especially emphasizing the benefits of our exercise group concept for students' learning success.

 

• Summer Break 2012: Instructor of the preparatory maths course Mathematischer Vorkurs für Informatiker.

 

• SS 2012: Assistant for the lecture Nebenläufige Programmierung (Concurrent Programming) by Prof. Dr.-Ing. H. Hermanns

 

 

• SS 2012: Instructor of the preparatory maths course Mathematischer Vorkurs für Informatiker.

 

• WS 11/12: Assistant for the lecture Programmierung 1 by Prof. Dr.-Ing. H. Hermanns

 

• Summer Break 2011: Instructor of the preparatory maths course Mathematischer Vorkurs für Informatiker.

• Summer Break 2011: Instructor of the course Teaching Methods and Didactics for Tutors.

• SS 2011: Assistant for the lecture Nebenläufige Programmierung (Concurrent Programming) by Prof. Dr.-Ing. H. Hermanns

 

• SS 2010: Assistant for the lecture Nebenläufige Programmierung (Concurrent Programming) by Prof. Dr.-Ing. H. Hermanns

 

• SS 09: Assistant for the lecture Nebenläufige Programmierung (Concurrent Programming) by Prof. Dr.-Ing. H. Hermanns

• SS 09: Co-Instructor of the seminar Concurrency Theory) together with Prof. Dr.-Ing. H. Hermanns

 

• SS 08: Assistant for the lecture Concurrent Systems by Prof. Dr.-Ing. H. Hermanns

 

• WS 07/08: Assistant for the lecture Programmierung 1 by Prof. Dr.-Ing. H. Hermanns

• WS 07/08: Assistant for the lecture Concurrent Systems by Prof. Dr.-Ing. H. Hermanns

• Summer Break 2007: Instructor of the course Teaching Methods and Didactics for Tutors.

 

 

 

• WS 06/07: Student assistant (Bremser) for the lecture Verification by Prof. Dr.-Ing. H. Hermanns

• SS 06 Student assistant for the lecture Introduction to Computational Logic by Prof. Dr. G. Smolka

• WS 05/06 Student assistant for the lecture Programmierung I by Prof. Dr.-Ing. H. Hermanns.

	Concurrency and Composition in a Stochastic World, C. Eisentraut and H. Hermanns and L. Zhang, CONCUR 2011 (invited paper)
	On Probabilistic Automata in Continuous Time, C. Eisentraut and H. Hermanns and L. Zhang, LICS 2010
	Teaching Concurrency Concepts to Freshmen, C. Eisentraut and H. Hermanns, in Transactions on Petri Nets and Other Models of Concurrency I, 2008, p. 35-53, Springer-Verlag,Berlin, Heidelberg
	FCT handling in BPEL 2.0 - A comparative analysis, C. Eisentraut and D. Spieler, WS-FM'08
	Teaching Concurrency to Freshmen, C. Eisentraut and H. Hermanns, Proceedings of "TeaConc'2007"
	Complete completeness for weak bisimulation semantics, C. Eisentraut, Master thesis, Saarland University, 2007
	Strongly convergent weak bisimulation congruence, C. Eisentraut, Bachelor thesis, Saarland University, 2006