Teaching

2022/2023

  • Simulation Theory and Applications, Gran Sasso Science Insitute
    Syllabus: Introduction to simulation. Monte Carlo simulation for stochastic systems (using NumPy). Discrete-event simulation for performance and reliability (using SimPy). Agent-based simulation for multi-agent systems (using Mesa). System dynamics simulation for complex systems (using Vensim and PySD). (link)

2021/2022

  • Formal Methods at Work, Gran Sasso Science Institute
    Syllabus: Modelling and Analysis of Probabilistic Systems: Stochastic Process Algebras, Timed Automata, Markov Decision Processes, Queueing Networks. Uncertainty and Learning of quantitative properties. Guidelines on building simulation environments for Cyber-Physical Systems.

2020/2021

  • Formal Methods at Work, Gran Sasso Science Institute
    Syllabus: Stochastic Process Algebras, Markov Decision Processes, Timed Automata, Queueing Networks