José Fiadeiro#
| Membership Number: | 4443 |
| Membership type: | ORDINARY |
| Section: | INFORMATICS |
| Elected: | 2017 |
| Main Country of Residence: | UNITED KINGDOM |
Present and Previous Positions
- 2019, 08 – 2023, 12: Dean of Science and Engineering, University of Dundee, UK
- 2018, 08 – 2019, 07: Dean of Science, Royal Holloway University of London, UK
- 2013, 04 – 2013, 05: Visiting researcher, Nasa Ames Research Laboratory, USA
- 2012, 08 – 2019, 07: Professor of Computer Science and Head of Department, Royal Holloway University of London, UK
- 2012, 07 – 2012, 07: Visiting researcher, Department of Computer Science, Technical University of Catalonia, Spain
- 2006, 08 – 2017, 07: Head of Computer Science, University of Leicester, UK
- 2006, 04 – 2006, 05: Visiting researcher, Department of Informatics, University of Pisa, Italy
- 2002, 11 – 2012, 07: Professor of Computer Science, University of Leicester, UK
- 2000, 01 – 2000, 08: Visiting researcher, Department of Computer Science, King's College London, UK
- 1999, 07 – 1999, 09: Visiting researcher, SRI International, Menlo Park, USA
- 1998, 07 – 1998, 09: Visiting researcher, SRI International, Menlo Park, USA
- 1998, 04 – 1998, 06: Visiting researcher, Department of Computer Science, Pontifical Catholic University of Rio de Janeiro, Brasil
- 1993, 07 – 2012, 10: Associate Professor, Department of Informatics, Faculty of Sciences, University of Lisbon, Portugal
- 1992, 05 – 1993, 06: Associate Professor, Department of Mathematics, Faculty of Engineering, Technical University of Lisbon, Portugal
- 1989, 01 – 1992, 04: Assistant Professor, Department of Mathematics, Faculty of Engineering, Technical University of Lisbon, Portugal
- 1988, 09 – 1990, 08: Visiting researcher, Department of Computing, Imperial College London, UK
Fields of Scholarship
- Computer science
- Software architecture and component-based development
- Logics for specification and verification
- Algebraic development methodologies
- Formal methods in software engineering
- Coordination languages and models
Honours and Awards
- 2011 Silver Core, International Federation for Information Processing
- 2008 Fellow of the British Computer Society
- 1996 IBM Scientific Award
- 1986 APPIA Award, Portuguese Association for Artificial Intelligence
