Short Biography

Assistant Professor at the Electronic and Telecommunications and Computer Engineering Department (DEETC) of the High Institute of Engineering of Lisbon (ISEL), Polytechnic Institute of Lisbon (IPL).

Assistant Lecturer at the Electronic and Telecommunications and Computer Engineering Department (DEETC) of the High Institute of Engineering of Lisbon (ISEL), Polytechnic Institute of Lisbon (IPL).

Ph.D. student in Computer Science and Engineering at IST, Technical University of Lisbon, within the topic Recovery mechanisms for long running transactions, under the supervision of Professor Carla Ferreira.

Researcher at INESC-ID IDSS Lab; External Collaborator of the Molecular Microbiology and Infection Unit; Instituto de Medicina Molecular (IMM), Faculty of Medicine, University of Lisbon. Member of CCISEL.

.

Master in Applied Mathematics, Computer Science field, at IST in February 2004. Thesis within the topic Quantales support and application to modal logic, supervised by Professor Pedro Resende.

Graduated in Applied Mathematics and Computation (LMAC - five year degree) at IST in July 2002. Diploma Thesis within the topic Independence structures on quantales, supervised by Professor Pedro Resende.