MMA:
Profile in Mathematics of Computation

at the Unit of Logic and Computation of the Department of Mathematics of IST:

First year, first semester

Cryptography and Security Protocols CPS
Logic and Model Checking LVM
Foundations of Logic and Theory of Computation FLTC
Algorithms in Discrete Structures (MEIC-CC)

First year, second semester

Computability and Complexity CC
Advanced Algorithms (MEIC-CC)
Optional course in Mathematics
Optional course

Second year, first semester

Software Development and Verification (MEIC-CC)
Research Project
Optional course in Mathematics

Second year, second semester

Master thesis (topic proposals)

Last update: July 22, 2011.