BSc Project / MSc Thesis

Topic proposals

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

Coordinator: Amilcar Sernadas.

Work in the Unit

Work elsewhere, for instance at Notes

Selected Diploma theses / BSc projects / MSc theses from previous years

MSc theses
BSc theses
Diploma theses

Last update: July 22, 2011.