Courses

MSc and PhD Courses:

  • Real Analysis
  • Advanced Algebra
  • Design and Analysis of Algorithms
  • Introduction to Cryptography
  • Advanced Logic (Security Protocols and Verification of Security Protocols)
  • ​Combinatorics
  • Advanced Logic
  • Set Theory
  • Model Theory
  • Recursive Theory
  • Reverse Mathematics
  • Second Order Arithmetic
  • Computatinal Algebraic Geometry