Timo P. Gros

---

About me

I am a Ph.D. student in the Modeling and Simulation Group at the Computer Science Department of Saarland University and a member of the Graduate School of Computer Science.

Publications

• Deep Statistical Model Checking - joint work with Holger Hermanns, Jörg Hoffmann, Michaela Klauck and Marcel Steinmetz

Theses

• Markov Automata taken by Storm, scientific work for studying (high school) teaching & Bachelorthesis, January 2018

Teaching

• Winter 13 : Tutor for Programming 1 at the Dependable Systems and Software group
• Winter 14 : Tutor for Mathematics for Engineers 1 at the Chair for Numerical Mathematics
• Summer 15 : Tutor for Programming 2 at the Compiler Design Lab
• Winter 15 : Tutor for Basics of Algorithms and Data structures at the chair for Computational Complexity
• Summer 16 : Supervision-tutor for Programming 2 at the Compiler Design Lab
• Summer 17 : Supervision-tutor for Programming 2 at the Compiler Design Lab
• Summer 18 : Assistant for Concurrent Programming at the group of Modeling and Simulation
• Summer 19 : Assistant for Probabilistic Models and Data Analysis
• Winter 19: Assistant for Rein4cement Learning
• Sommer 20: Assistent for Statistics Lab