Calculated based on number of publications stored in Pure and citations from Scopus
1986 …2021

Research activity per year

If you made any changes in Pure these will be visible here soon.

Personal profile


I joined the University of Dundee in August 2019, after having spent seven years at Royal Holloway University of London, ten years at the University of Leicester and, before that, at the University of Lisbon (1993–2002) and the Technical University of Lisbon (1985–1992).  
I have also held visiting research positions at Imperial College London, King’s College London, Rio de Janeiro (PUC), Pisa, SRI International (Menlo Park), Barcelona (UPC) and NASA Ames Research Labs. 
I am a member of the Scientific Board of INESC-TEC (Portugal), of the EPSRC College and of the ANR (French Research Council) Informatics Panel. I have also served in:

•    the Research Project Assessment Panel in Computer Science, Portuguese Ministry for Science, since 2006 (chair in 2009);
•    the Research Project Assessment Panel in Mathematics and Computer Science, National Research Council of Romania, in 2012; project evaluator in 2016, 2019, 2020 and 2021;
•    the Belgium Quality Agency for Higher Education – AEQES – co-chair of the 2011-12 Informatics panel, and member of the evaluation team in 2016-17;
•    the French Evaluation Agency for Research and Higher Education – AERES – in 2013 for the evaluation of INRIA and in 2014 for the evaluation of CentraleSupélec;
•    the Lithuanian Centre for Quality Assessment in Higher Education – SKVC – for the evaluation of degrees in Informatics in 2014 and in 2017.

I am: an elected member of Academia Europaea; Fellow of the British Computer Society; Member of IFIP WG 1.3 (chair in 2004–2009); Member of UKCRC; Member of the Board of Editors of Information Processing Letters (Elsevier) and of EPTCS, and Associate Editor of SN Computer Science; Member of the Steering Committees of CALCO, FACS, FASE, WADT and WS-FM. I was also  Chair of the Steering Committees of CALCO (co-founder with Jan Rutten) in 2005-2009, ETAPS in 2002-2004, and WADT in 2004–2009.


Research interests

My current research interests are in formal aspects of software system modelling and analysis in the context of global ubiquitous computing.

Expertise related to UN Sustainable Development Goals

In 2015, UN member states agreed to 17 global Sustainable Development Goals (SDGs) to end poverty, protect the planet and ensure prosperity for all. This person’s work contributes towards the following SDG(s):

  • SDG 3 - Good Health and Well-being

External positions

Associate Editor, SN Computer Science

2019 → …

Dean of Science, Royal Holloway University of London

1 Sept 201831 Jul 2019

Member of Committee 25, Agence Nationale de la Recherche

Jun 2017 → …

Professor and Head of the Department of Computer Science, Royal Holloway University of London

1 Aug 201231 Jul 2019

Member of the Scientific Board, Institute for Systems and Computer Engineering, Technology and Science

Jan 2012Jan 2017

Head of the Department of Computer Science, University of Leicester

1 Sept 20061 Aug 2011

EPSRC Full College Member, Engineering and Physical Sciences Research Council

2006 → …

Member of the Board of Editors, EPTCS

2006 → …

Member of the Board of Editors, IPL

2003 → …

Professor of Computer science, University of Leicester

1 Nov 200231 Jul 2012


  • Q Science (General)
  • Computer Science
  • Software Engineering
  • Formal Methods


Dive into the research topics where Jose Luiz Fiadeiro is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
  • 1 Similar Profiles


Recent external collaboration on country/territory level. Dive into details by clicking on the dots or