José Fiadeiro#


José Fiadeiro
Email:fiadeiroj 'at' me.com
Membership Number:4443
Membership type:ORDINARY
Main Country of Residence:UNITED KINGDOM
Section:INFORMATICS
Username:jfiadeiro
Elected:2017
Homepage: https://discovery.dundee.ac.uk/en/persons/jose-luiz-fiadeiro


Present and Previous Positions
  • 2019, 08 – now: 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
  • Formal methods in software engineering
  • Algebraic development methodologies
  • Logics for specification and verification
  • Software architecture and component-based development
  • 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

Imprint Privacy policy « This page (revision-17) was last updated on Thursday, 1. August 2019, 22:40 by Fiadeiro José
  • operated by