![]() |
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". Contact Whenever you feel like getting in touch with me, come and see me in
or send an e-mail to: Current Research My main research interest lies in the formal verification and analysis of concurrent systems. I am currently working both on formal theories for memory models and on models incorporating interactive, non-deterministic, and both discrete and continuous Markovian behaviour.
Besides researching concurrency theory, I am also actively interested in teaching concurrency theory. 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). Teaching
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 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
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.
Publications
|
||||||||||||||||||||||||
| Dependable Systems & Software Group | Department of Computer Science | Universität des Saarlandes | ||||||||||||||||||||||