This year I am teaching MAU22C00 Discrete Mathematics. and MAU11602 Computability and logic.