Teaching
Courses
During my PhD I have been actively helping in the following courses:
- Statistics and Probability
- Introduction to Markov chains, Markov decision processes and randomized algorithms
- Theoretical Computer Science
- Finite-state automata, grammars and introduction to complexity
- Advanced Mathematics
- Application of probabilistic models in computer science, usage of probabilistic model checkers
- Model-Based Analysis
- Extenstion of probabilistic models to continous time and partial observability
Thesis
I have been a technical consultant for couple of undergrad students.
