Teaching

• CS423: Heuristic Search and Optimisation (Fall 2025, Spring 2025, Spring 2024)
  • Exact search (shortest path algorithms, routing algorithms)
  • Heuristic search (A* search, other heuristics)
  • Linear programming
  • Integer programming
  • Convex programming and gradient descent
• CS104: Mathematical Foundations of Computing (Fall 2025)
  • Propositional logic
  • Mathematical proofs
  • Sets, functions, relations
  • Sequences, series
  • Recursion
  • Counting