João Paulo Fernandes, Ph.D.


I am an Assistant Professor at the Informatics Engineering Department of the University of Coimbra, Portugal.

In my research I pursue rigorous ways to reason about programming, which I have successfully been able to apply in the context of functional programming, spreadsheets, bidirectional transformations and software and language engineering, and in the context of several research projects such as SSaaPP and FATBIT. Currently, I am also a member of the High-Assurance Software Laboratory HASLab, the Reliable and Secure Computation Group (rel)ease, and of the Green Software Lab (greenlab).

In the past, I have held different types of positions in several institutions such as the University of Minho (Monitor, 2002-2004), the Polytechnic Institute of Porto (Assistant Professor, 2008-2010), the University of Porto, Faculty of Engineering (Assistant Professor, 2010-2012) and the University of Beira Interior (Assistant Professor, 2012-2016).

I have graduated in Mathematics and Computer Science from  the University of Minho, in 2004 (best of class, with an average score of 17/20), having conducted my graduation thesis under the PURe project.

Later, in March 2009, I have received my Ph.D. degree from the same university, following my work on the Design, Implementation and Calculation of Circular Programs.

Short Biography


I’ve moved to the University of Coimbra.

New papers at SBLP’16, SANER‘2016, GREENS’16, JSCP(*2) and JSS.

Project “GreenSoftwareLab: Towards an Engineering Discipline for Green Software“ reccommended for funding by FCT.

“Embedding, Evolution, and Validation of Model-Driven Spreadsheets” accepted for publication at IEEE Transactions on Software Engineering.

Contact Info

Prof. Dr. João Paulo Fernandes
    Departamento de Engenharia Informática
    Faculdade de Ciências e Tecnologia
    Universidade de Coimbra

    Pólo II - Pinhal de Marrocos
    3030-290 Coimbra

office: Gab. 2.15