Alessandro Abate - Teaching

Ongoing

• Probabilistic Model Checking (U Oxford, Michaelmas 2023)

• AIMS CDT, Introduction to Modern Control (U Oxford, Michaelmas 2014-15-16-17-18, Hillary 2020-21-22-23-24)

• AIMS CDT, System Verification (U Oxford, Hillary 2015-16-17-18-19-20-21-22-23-24)

• Tutoring in Maths&CS at St Hugh’s College, U Oxford

Past

• Probabilistic Model Checking (U Oxford, Michaelmas 2022)

• Probabilistic Model Checking (U Oxford, Michaelmas 2021)

• Probabilistic Model Checking (U Oxford, Michaelmas 2020)

• Computer-Aided Formal Verification (U Oxford, Michaelmas 2018)

• Computer-Aided Formal Verification (U Oxford, Michaelmas 2017)

• Computer-Aided Formal Verification (U Oxford, Michaelmas 2016)

• Computer-Aided Formal Verification (U Oxford, Michaelmas 2015)

• Computer-Aided Formal Verification (U Oxford, Michaelmas 2014)

• Computer-Aided Formal Verification (U Oxford, Michaelmas 2013)

• Synthetic Biology CDT, Systems and Control Theory in Biology (U Oxford, Hillary 2015-16)

• Automatic Verification and Synthesis of Complex Systems (DISC, Spring 2015-17)

• ECC 2013 Pre-Conference Workshop on Stochastic hybrid systems

• SC 4070, Control Systems Lab (TU Delft, Ac.Yr. 2012/13, 2e Sem. Q3)

• SC 4026, Control Systems Design (TU Delft, Ac.Yr. 2012/13, 1e Sem. Q1)

• SC 4250, Probabilistic Models in the Life Sciences (TU Delft, Ac.Yr. 2011/12, 2e Sem. Q4)

• SC 4070, Control Systems Lab (TU Delft, Ac.Yr. 2011/12, 2e Sem. Q3)

• SC 4026, Control Systems Design (TU Delft, Ac.Yr. 2011/12, 1e Sem. Q1)

• SC 4026, Control Systems Design (TU Delft, Ac.Yr. 2010/11, 1e Sem. Q1)

• SC 4026, Control Systems Design (TU Delft, Ac.Yr. 2009/10, 1e Sem. Q1)

• EECS291e, Hybrid Systems: Computation and Control (UC Berkeley, Spring 2009)