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

Proof theory / Complexity of fol theories - João Rasga.
Situation calculus / Numerical linear algebra of programming - Jaime Ramos.
Abductive reasoning / Fibring of logics - Paula Gouveia.
Computational knot theory / Encoding logics in Isabelle - Miguel Dionisio
Many-valued logic / Security protocols - Carlos Caleiro.
Classical and quantum cryptography / Model checking - Paulo Mateus.
to be announced - José Félix Costa.
Graph-theoretic account of logics and their combinations - Cristina Sernadas.
Linear algebra of classical, probabilistic and quantum programming / Categorical techniques in Logic - Amílcar Sernadas.

Work elsewhere, for instance at

SQIG-IT

Verification of security protocols / Computational cryptography - Pedro Adão.
Analog computing - Manuel Campagnolo;
Quantum computation and information - Yasser Omar.

N&M-IT

Machine learning and image processing - Mário Figueiredo;

Networks and algorithms - João Sobrinho.

WCom-IT

Integer optimization in image processing - José Bioucas.

ISLab-ISR

Intelligent robotic systems - Pedro U. Lima.

KDBIO-INESC

Computational biology and bioinformatics - Arlindo Oliveira and Ana Teresa Freitas.

SAT-INESC

SAT algorithms - Inês Lynce.

ESW-INESC

Object-oriented software development - António Rito Silva.

CEG-IST

Multicriteria evaluation: theory, methods, applications and computational support - Carlos Bana e Costa.

Notes

For work in business and industry, proposals by the interested students are welcome. The Coordinator also collects regular offers by high-tech companies.
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 years

MSc theses

David Henriques. Model checking probabilistic systems. 2009.
Bruno Montalto. Modelling an attacker with cryptanalytical capabilities. 2008.
Bruno Lacerda. Linear-time temporal logic control of discrete event systems. 2007.
Tiago Carvalho. Spatial types for concurrency: A spatial logic to specify and verify distributed systems. 2007.
Alexandre Francisco. Algoritmos para a predição da estrutura terciária de proteínas. 2004.
Joana Martinho. The pi-calculus with polyadic synchronization. 2004.
Daniel Graça. The general purpose analog computer and recursive functions over the reals. 2002.
Maria Joao Coutinho. Estudo categorial do relacionamento entre lógicas. 1997.

BSc theses

Tiago Salvador. Average complexity. 2009-10.
Pedro Vitória. Mutually unbiased bases. 2007-08.

Diploma theses

Ana Graça. Haplotype inference by pure parsimony using pseudo-boolean optimization. 2005-06.
Tiago Reis. Quantitative analysis of security protocols. 2004-05.
Ricardo Gonçalves. Algebraization of logics and beyond. 2003-04.
Luís Russo. Algebra in a topos. 2002-03.
Pedro Miguel Adão. Electronic money with My-calculus. 2001-02.
Ricardo Silva. On the computational power of sigmoidal neural networks. 2001-02.
Cátia Vaz. Independence structures on quantales. 2001-02.
Alexandre Francisco. Finite automata over continuous time. 2001-02.
Luís Cruz-Filipe. Lambda-calculus and beyond. 2000-01.
Pedro Baptista. Os pontos da topologia sem pontos. 2000-01.
Nuno Paiva. Lógica temporal em Coq. 1997-98.
Sara Pacheco. Cálculo de situações em Coq. 1997-98.
Alexandra Carvalho. Teoria das categorias em Coq. 1997-98.

Last update: July 22, 2011.