Teaching

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

Courses regularly offered to BSc programs
Courses regularly offered to MSc programs
BSc project / MSc thesis supervision
Tutorial courses offered to PhD programs
 

Last update: September 29, 2015.