Personal information

Computer Science, Source Code Analysis and Manipulation, Software Quality, Software Evolution, Programming Languages Design and Implementation, End User Programming

Biography

João Saraiva is an Associate Professor at the Departmento de Informática, Universidade do Minho, Braga, Portugal, and a researcher member of HASLab/INESC TEC. He obtained a MSc degree from University do Minho in 1993 and a Ph.D. degree in Computer Science from Utrecht University in 1999. His main research contributions have been in the field of programming language design and implementation, program analysis and transformation, functional programming, and green software. He supervised 4 (FCT funded) PostDoc projects, 12 PhD projects (8 awarded and 4 running) and over 40 MSc thesis. He has published over 100 publications (scopus) in conferences and journals. He has served in over 90 program committees of international events, and in the evaluation committees of 8 research agencies: ANII (Uruguay), ANR (France), FCT (Portugal), FRS-FNRS (Belgium), FWF and WWTF (Austria), La Caixa (Spain), and NWO (The Netherlands).

He has experience in participating and coordinating research projects in his research areas, both at national level with projects funded by FCT (projects: PURe, IVY, AMADEUS, CROSS, SSaaPP, AutoSeer, FATBIT, and GreenSwLab) and at international level with projects funded by EPSRC (UK), FLAD/NSF (USA) and by the European Union.

João Saraiva is one of the founders of the successful series of summer schools on Generative and Transformational Techniques in Software Engineering (GTTSE), which he co-organized in 2005, 2007, 2009, 2011, and 2015 (volumes 4143, 5235, 6491, 7680 and 10223 of LNCS - Tutorial by Springer-Verlag) in Braga. He was the organizing chair of ETAPS'07, The European Joint Conferences on Theory and Practice of Software, organized in Braga in 2007, and a member of its scientific committee (2007-2012).

Activities

Employment (2)

Universidade do Minho: Braga, PT

2018-11-28 to present | Associate Professor (Informática)
Employment
Source: Self-asserted source
João Saraiva

Universidade do Minho: Braga, PT

1999-12-16 to present | Professor Auxiliar (Informática)
Employment
Source: Self-asserted source
João Saraiva

Education and qualifications (1)

Universiteit Utrecht: Utrecht, Utrecht, NL

1995-09-01 to 1999-12-09 | PhD (Computer Science)
Education
Source: Self-asserted source
João Saraiva

Funding (3)

Promoting Sustainability as a Fundamental Driver in Software Development Training and Education

2020-09-01 to 2023-08-31 | Contract
European Union (Brussels, BE)
Source: check_circle
CIÊNCIAVITAE

AutoSeer: Automated Test Oracles for Software Error Detection

2012-01 to 2015-01 | Contract
Fundação para a Ciência e a Tecnologia (Lisboa, PT)
GRANT_NUMBER:

PTDC/EIA-CCO/116796/2010

Source: check_circle
CIÊNCIAVITAE

FATBIT: Foundations, Applications and Tools for Bidirectional Transformations

2012-01 to 2015-01 | Contract
Fundação para a Ciência e a Tecnologia (Lisboa, PT)
GRANT_NUMBER:

{PTDC/EIA-CCO/120838/2010

Source: check_circle
CIÊNCIAVITAE

Peer review (1 review for 1 publication/grant)

Review activity for The Journal of systems and software. (1)