Thesis and Projects are usually integrated in existing projects and other research activities taking place in the Department of Computer Science and its Reseach Centre - NOVA LINCS.
For new research topics you should
• contact directly the lecturers /researchers in the programme
• browse the NOVA LINCS web page
The following is a list of thesis that were finished by former EMCL students at NOVA.
- ◊ Tobias Kaminski, Efficient Paraconsistent Reasoning with Rules and Ontologies for the Semantic Web, João Alexandre Leite and Matthias Knorr (superv.), FCT/UNL, October 2014. 
- Sergejs Pugacs, A Clustering Approach for Vehicle Routing Problems with Hard Time Windows, Pedro Barahona (superv.), FCT/UNL, July 2014. 
- Amr Hany Saleh, Constraint Reasoning with Local Search for Continuous Optimization, Jorge Cruz (superv.), FCT/UNL, July 2014.   
- Peter Skocovsky, Realisation of Stepping for Real-World ASP Languages, João Alexandre Leite (superv.), FCT/UNL, April 2014. 
- Martin Aleksandrov, Heuristics and Policies for Online Pickup and Delivery Problems, Pedro Barahona (superv.), FCT/UNL, October 2012.
- Bishoksan Kafle, Modeling Assembly Program with Constraints: A Contribution to WCET Problem, Pedro Barahona (superv.), FCT/UNL, September 2012.
- Tatiana Tarasova, Publishing Linked Data: The Pordata use case, João Alexandre Leite and Alfredo Gabaldon (superv.), FCT/UNL, March 2012.
- Tewodros A. Beyene, Constraint based Certification of Imperative Programs, Pedro Barahona and (superv.), FCT/UNL, October 2011.
- Luciano Guasco, Multiple sequence alignment correction using constraints, Ludwig Krippahl (superv.), FCT/UNL, December 2010.
- David Buezas, A Constraint based formulation of the Minimum Set Covering Problem for the Species Differentiation Problem, Pedro Barahona (superv.), FCT/UNL, October 2010.
- Han The Anh, Evolution Prospection with Intention Recognition via Computational Logic, Luís Moniz Pereira (superv.), TUD Dresden, June 2009.
- Luca Quaglia, Evolving Electronic Institutions, João Alexandre Leite (superv.), FCT/UNL, October 2008.
- Belopeta Mito, Multi-Agent Resource Allocation with Answer Set Programming, João Alexandre Leite and José Júlio Alferes (superv.), FCT/UNL, October 2008.
- Valentin Mayer-Eichberger, Towards Solving a System of Pseudo Boolean, Pedro Barahona (superv.), FCT/UNL, October 2008.
- ◊ Jean Christoph Jung, Value Orderings based on Solution Counting, Pedro Barahona (superv.), FCT/UNL, October 2008.
- Nguyen Hoàng Ngà, Fuzzy Description Logics with Modifiers, Carlos Viegas Damásio and Steffen Hölldobler (superv.), FCT/UNL, November 2006.
- Vivek Nigam, Dynamic Logic Programming for 3APL, João Alexandre Leite (superv.), FCT/UNL, June 2006.
- Matthias Knorr, A Comparative Study of Disjunctive Well-Founded Semantics, Reinhard Kahle and Steffen Hölldobler (superv.), FCT/UNL, May 2006.
◊ Granted the "Best EMCL thesis award" for that year.