|
|
| loc: |
Building 1c - 2nd floor, Room 215b Walther-Pauer-Str. 2 D-03046 Cottbus |
| phone: | +49-(0)355-69-3826 |
| fax: | +49-(0)355-69-3830 |
| e-mail: | ms(at)informatik(dot)tu-cottbus(dot)de |
| 1980 | born in Herzberg/Elster |
| 1999 | leaving Philip-Melanchton-Gymnasium in Herzberg/Elster |
| 2000-2004 | studies of "Informations -und Medientechnik", BTU Cottbus, B.Sc. |
| 2004-2006 | studies of "Informatik", BTU Cottbus, M.Sc. |
| since 2006 | scientific staff member |
probabilistic model checking of stochastic Petri nets
IDD-CSL, An Interval Decision Diagram based model checker for the continuous stochastic logic (CSL)
| WS 06/07 | Modeling and Analysis of Concurrent Systems with Petri Nets |
| SS 07 | Einführung in die Programmierung |
| WS 07/08 | Introduction into concurrency |
| SS 08 | Modeling and Analysis of Concurrent Systems with Petri Nets |
| WS 08/09 | Introduction into concurrency |
| SS 09 | Modeling and Analysis of Concurrent Systems with Petri Nets |
| WS 09/10 | Introduction into Concurrency |
| WS 09/10 | Software Testing |