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.