Current students and Alumni


Current Students

Pedro Ribeiro
PhD candidate in CS: Parallel Algorithms for Pattern Mining in Complex Networks.
Co-adviser: Luís Lopes.
Rolando Martins
PhD candidate in CS:RTPm: Real-Time P2P Middleware..
Co-adviser: Luís Lopes.

Alumni PhD

Hervé Paulino, currently Assistant Prof. at New University of Lisbon (UNL)
An Infrastructure for mobile service-oriented computing encoded on a process calculus, PhD in Informatics, Informatics Department, New University of Lisbon, December, 2006.
Main adviser: Luís Lopes.
Nuno P. Fonseca, currently a CIENCIA2008 Post-doc with CRACS/INESC-Porto LA.
Parallelism in Inductive Logic Programming, PhD in Computer Science, Faculty of Science,University of Porto, October, 2006.
Co-adviser: Rui Camacho (FEUP).
Álvaro Reis Figueira, currently Assistant Prof. at CS Dep, Univ. of Porto.
Design and Implementation of a Distributed System with Mobility Based on a Process Calculus, PhD in Computer Science, Faculty of Science, University of Porto, June, 2004.
Co-adviser: Luís Lopes.
Ricardo Nuno Lopes. Assistant Prof. at CS Dep. Uni. of Porto, (2001-2007).
An Implementation of the Extended Andorra Model . PhD in Computer Science, Faculty of Science, University of Porto, December 2001.
Main adviser: Vítor Santos Costa.
Ricardo Jorge Rocha, currently Assistant Prof. at CS Dep., Univ. of Porto.
On Applying Or-Parallelism and Tabling to Logic Programs. PhD in Computer Science, Faculty of Science, University of Porto, November 2001.
Co-adviser Vítor Santos Costa.
Manuel Eduardo Correia, Currently Assistant Prof. at CS Dep. Univ. Porto.
On The Implementation of And/Or Parallelism in Logic Programming Systems. PhD in Computer Science, Faculty of Science, University of Porto, November, 2001.
Co-adviser: Vítor Santos Costa.
Luís Lopes, currently, Assistant Prof. in the CS Dep, Univ. of Porto.
On the Design and Implementation of a Virtual Machine for Process Calculi. PhD in Computer Science, Faculty of Science, University of Porto, December 1999.
Co-adviser: Vasco Vasconcelos (FCUL).

Alumni Masters

Sylwia Teresa Bugla
Name Identification in Scientific Publications.. MSc in Networking and Informatics Systems Engineering. Faculty of Science, University of Porto, December, 2009.
João Paulo Magalhães, currently at Instituto Politecnico de Felgueiras.
A Peer-to-Peer Distributed File System. MSc in Informatics. Faculty of Science, University of Porto, April, 2005.
Co-advised by Luís Lopes.
Rolando Martins, currently at Efacec.
An Implementation of a Distributed Or-Parallel Prolog System based on Stack Splitting. MSc in Informatics, Faculty of Science, University of Porto, July, 2003.
Co-advised by Ricardo Rocha.
Lícinio Oliveira, currently at Accenture.
P3: Parallel Peer-to-Peer. MSc in Informatics. Faculty of Science, University of Porto, June, 2003.
Co-advised by Luís Lopes.
Rogério Ferreira, works for Qimonda.
A Methodology for Data Sharing among Heterogeneous Databases using XML. MSc in Informatics. Faculty of Science, University of Porto, March, 2003.
Co-advised by José Paulo Leal.
Nuno Amado, first job with Edinfor.
Parallelization of Classification Algorithms. MSc in Artificial Intelligence and Computing, University of Porto, January 2002.
Co-advised by João Gama.
Mário João Antunes, Currently is a lecturer at IPL (Leiria).
Centralized Remote Administration of Groups of UNIX Machines. MSc in Informatics. Faculty of Science, University of Porto, October 2001.
Co-advised Manuel Eduardo Correia.
Hervé Paulino, carried over for PhD.
Design and Implementation of the pSystem for Distributed Memory Architectures. MSc in Computer Science, Faculty of Science, University of Porto, October 1998.
Ricardo Jorge Rocha, carried on for PhD.
YapOr: an Or-Parallel Prolog System Based on Environment Copying. MSc in Informatics, University of Minho, October 1996.
Luís Lopes, carried on for PhD.
A Parallel Programming Environment for Shared Memory Architectures, the pSystem. Equivalent to MPhil in Computer Science, Faculty of Science, University of Porto, February 1995.

Junior researchers (BIC,BII)

André Rodrigues
Undergrad student initiating research: A Web repository of programming exercises with automated judging. 12/2008 - 11/2009.
Co-adviser: Pedro Ribeiro.