CSE3300 Algorithms for NP-Hard Problems
Part 3 of this BSc elective introduces students to simulation-based methods for when exact algorithms are not applicable.
CS4345 Formal Methods for Learned Systems
This MSc seminar introduces students to the topic AI safety and state-of-the-art rigorous methods to guarantee it.