BSc Project / MSc Thesis
at the Unit of Logic and
Computation of the Department of
Mathematics of IST.
Work in the Unit
Work elsewhere, for instance at
- Proof theory / Complexity of fol theories - João
- Situation calculus / Numerical linear algebra of programming - Jaime Ramos.
- Abductive reasoning / Fibring of logics - Paula
- Computational knot theory / Encoding logics in Isabelle - Miguel Dionisio
- Many-valued logic / Security protocols - Carlos
- Classical and quantum cryptography / Model checking - Paulo
- to be announced - José
- Graph-theoretic account of logics and their combinations - Cristina
- Linear algebra of classical, probabilistic and quantum
programming / Categorical techniques in Logic - Amílcar
- For work in
business and industry, proposals by the interested students are
welcome. The Coordinator also collects regular offers by
- Work under outside supervision requires approval by the
Coordinator and a co-supervisor within the Unit.
Selected Diploma theses / BSc projects /
MSc theses from previous
Last update: July 22, 2011.