SBLP - Invited speaker: José Luiz Fiadeiro

 

José Fiadeiro joined the University of Leicester in December 2002 as Professor of Software Science and Engineering, after having held previous academic positions at the Technical University of Lisbon and the University of Lisbon, and visiting research positions at Imperial College, King’s College London, PUC-Rio de Janeiro, and the SRI International. He has been Head of the Department of Computer Science since August 2006. José 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 member of the Editorial Board of Information Processing Letters (Elsevier). His research interests are in formal aspects of software system modelling and analysis in the context of global ubiquitous computing.

For more details, visit his home page.



Promotion

   

Organization

       

Sponsorship