Advanced Topics in Computer Science: Probabilistic and Statistical Verification
Topic outline
-
OBJECTIVE
The objective of the course is to expand upon basic notions of verification and develop a thorough understanding of probabilistic model checking over Markov models. Lectures will cover algorithms for verification and synthesis. Towards the end of the course, we provide an introduction to advanced topics and vistas in probabilistic models and in verification techniques and tools.INSTRUCTOR
Alessandro Abate is Professor of Verification and Control at the Computer Science Department of the University of Oxford (https://www.cs.ox.ac.uk/people/alessandro.abate/), where he also served as Deputy Head of Department. Earlier, he did research at Stanford University and at SRI International, and was an Assistant Professor at the Delft Center for Systems and Control, TU Delft. He received a Laurea degree from the University of Padua and MS/PhD at UC Berkeley. His research work spans logic, probability, control, and AI. His interests lie in the analysis, verification, and optimal control of heterogeneous and complex dynamical models and in their applications in cyber-physical systems, particularly in assured autonomy and energy systems. -
SCHEDULE
The course will start on March 18, and have three lessons per week on- Mon 8:45-10:15 - 1BC/50
- Tue 16:30-18:00 - 1BC/50
- Wed 12:30-14:00 - 1BC/45
- (when announced in class) Thu 12:30-14:00 - 1BC/45
-
-
Lecture 2, Tue 19 March:
Passcode: 9QTp+.0c
Lecture 3, Wed 20 March:
Passcode: KB*5gT@4
Lecture 4, Mon 25 March:
Passcode: mh1&$qJm
Lecture 5, Tue 26 March:
Passcode: wKT#5Xp8
Lecture 6, Wed 27 March:
Passcode: $E?05?re
Exercise Session, Thu 28 March.
Lecture 8, Wed 3 April:
Passcode: 0t&gAYgi
Seminar, Wed 3 April:
Passcode: 6.DaQh4H
Lecture 9, Thu 4 April:
Passcode: A*zbBJ#5
Lecture 10, Mon 8 April:
Passcode: J9ZrqU.W
Exercise Session, Tue 9 April.
Lecture 12, Wed 10 April:
Passcode: r3w0iiF&
Lecture 13, Thu 11 April:
Passcode: 8Gw5zb@^
Lecture 14, Mon 15 April:
Passcode: Ug=54dZ+
Lecture 15, Wed 17 April:
Passcode: 2qr%ySe0
Lecture 16, Mon 20 May:
Passcode: &A0Zn&PI
Lecture 17, Tue 21 May:
Passcode: sB=xA2C9
Lecture 18, Wed 22 May:
Passcode: cr5+@VCQ
Lecture 19, Mon 27 May:
Passcode: ?#gN5=bF
Lecture 20, Tue 28 May:
Passcode: *&jYf2ef
Lecture 21, Wed 29 May:
Passcode: &7v2Xrs4
Lecture 22, Thu 30 May:
Passcode: 61?6Fl?1
-
TBA