Research Output per year
Personal profile
Biography
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;
- 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.
External positions
Associate Editor, SN Computer Science
2019 → …Dean of Science, Royal Holloway University of London
1 Sep 2018 → 31 Jul 2019Member 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 2012 → 31 Jul 2019Member of the Scientific Board, Institute for Systems and Computer Engineering, Technology and Science
Jan 2012 → …Head of the Department of Computer Science, University of Leicester
1 Sep 2006 → 1 Aug 2011EPSRC Full College Member
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 2002 → 31 Jul 2012Keywords
- Q Science (General)
- Computer Science
- Software Engineering
- Formal Methods
Fingerprint 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.
Semantics
Engineering & Materials Science
Specifications
Engineering & Materials Science
Software architecture
Engineering & Materials Science
Temporal logic
Engineering & Materials Science
Industry
Engineering & Materials Science
Software engineering
Engineering & Materials Science
Specification
Mathematics
Algebra
Engineering & Materials Science
Network
Recent external collaboration on country level. Dive into details by clicking on the dots.
Research Output 1986 2019
Logics for Actor Networks: A two-stage constrained-hybridisation approach
Lopes Fiadeiro, J., Tutu, I., Lopes, A. & Pavlovic, D., Aug 2019, In : Journal of Logical and Algebraic Methods in Programming. 106, p. 141-166 26 p.Research output: Contribution to journal › Article
Network protocols
Network components
Formal methods
Circuit theory
Computer simulation
Dynamic networks of heterogeneous timed machines
Fiadeiro, J., Lopes, A., Delahaye, B. & Legay, A., Jun 2018, In : Mathematical Structures in Computer Science. 28, 6, p. 800-855 56 p.Research output: Contribution to journal › Article
Dynamic Networks
Algebra
Granularity
Clocks
Automata
From conventional to institution-independent logic programming
Tutu, I. & Fiadeiro, J. L., Sep 2017, In : Journal of Logic and Computation. 27, 6, p. 1679-1716 38 p.Research output: Contribution to journal › Article
Logic programming
Logic Programming
Logic Programs
Query
Logic
4
Citations
(Scopus)
12
Downloads
(Pure)
Heterogeneous and asynchronous networks of timed systems
Fiadeiro, J. L. & Lopes, A., 8 Feb 2017, In : Theoretical Computer Science. 663, p. 1-33 33 p.Research output: Contribution to journal › Article
Open Access
File
Algebra
Clocks
Granularity
Compositionality
Interconnection
2
Citations
(Scopus)
11
Downloads
(Pure)
Service-oriented logic programming
Ţuţu, I. & Fiadeiro, J. L., 18 Aug 2015, In : Logical Methods in Computer Science. 11, 3, p. 1-37 37 p., 3.Research output: Contribution to journal › Article
Open Access
File
Logic programming
Service-oriented
Logic Programming
Service-oriented Computing
Semantics