- Introduction to Logic and MathematicsJSB035 | Faculty of Social Sciences
- Introduction to Computational TopologyNMMB464 | Faculty of Mathematics and Physics
- Metric SpacesNMMA164 | Faculty of Mathematics and Physics
- Seminar on Logic Programming 1NAIL006 | Faculty of Mathematics and Physics
- Seminar on Logic Programming 2NAIL009 | Faculty of Mathematics and Physics