Posted on 21/05/2012
Professor José Fiadeiro
Professor José Fiadeiro will join Royal Holloway, University of London as the Head of the Department of Computer Science from 1 August 2012. Prof Fiadeiro will arrive from the University of Leicester, where he is currently Professor of Software Science and Engineering and the Research Director for their Department of Computer Science.
Prof Fiadeiro said: “It is a very exciting opportunity to join a team of academics at Royal Holloway with a long tradition of excellence in teaching and research. I am particularly delighted to be taking on the role of Head of Department and I am looking forward to contributing towards strengthening the College's position as a leader in Computer Science."
Prof Fiadeiro completed his undergraduate degree in Mathematics at the University of Lisbon (Faculty of Science), after which he moved to the Technical University of Lisbon (Department of Mathematics, Faculty of Engineering) where he studied for a PhD. He was awarded his doctorate in 1989, and then spent three years doing research at Imperial College London with a grant from the European Commission.
He became Associate Professor in Computer Science at the Technical University of Lisbon in 1992, and moved to the University of Lisbon (Department of Informatics, Faculty of Science) in 1993. Before he joined Leicester in 2002, he held visiting research positions at Imperial College, King’s College London, PUC-Rio de Janeiro, and the SRI International. Prof Fiadeiro was Head of Department at Leicester between August 2006 and July 2011.
His research interests are in formal aspects of software system modelling and analysis in the context of global ubiquitous computing.
Prof Fiadeiro is a member of the Steering Committees of WS-FM (Workshop on Web Services and Formal Methods), CALCO (Conference on Algebra and Coalgebra in Computer Science, which he co-founded with Jan Rutten) and WADT (Workshop on Algebraic Development Techniques). He was chairman of the IFIP WG 1.3 (Foundations of System Specification) in 2004-09, and chairman of the Steering Committee of ETAPS (European Joint Conferences on Theory and Practice) in 2002-04.
He is also a member of the Editorial Board of Information Processing Letters (Elsevier), Electronic Proceedings in Theoretical Computer Science, and Electronic Communications of the EASST (European Association of Software Science and Technology).