Formal Methods Research Group Department of Mathematics
School of Applied Mathematical and Physical Sciences
National Technical University of Athens

Graduate Course

  1. Formal Methods

Undergraduate Courses

  1. Applications of Logic in Computer Science
  2. Discrete Mathematics
  3. Special Topics on Discrete Mathematics
  4. Number Theory and Cryptography
  5. Technologies for Education
  6. History of Mathematics