SBLP - Palestrante convidado: José Luiz Fiadeiro

 

José Fiadeiro ingressou na Universidade de Leicester em dezembro de 2002 como Professor de Engenharia e Ciência de Software, após ter ocupado posições acadêmicas anteriores na Universidade Técnica de Lisboa e na Universidade de Lisboa, e posições de pesquisador visitante no Imperial College, no King’s College London, na PUC-Rio e na SRI Internacional. Ele é chefe do Departamento de Ciência da Computação desde agosto de 2006. José é membro dos comitês diretivos do WS-FM (Workshop on Web Services and Formal Methods), do CALCO (Conference on Algebra and Coalgebra in Computer Science, que ele fundou juntamente com Jan Rutten) e do WADT (Workshop on Algebraic Development Techniques). Ele foi presidente do grupo de trabalho IFIP WG 1.3 (Foundations of System Specification) em 2004-09, e presidente do comitê diretivo das conferências ETAPS (European Joint Conferences on Theory and Practice) em 2002-04. Ele também é membro do corpo editorial do periódico Information Processing Letters (Elsevier). Seus interesses de pesquisa estão relacionados a aspectos formais de modelagem e análise de sistemas de software no contexto de computação ubíqua global.

Para mais detalhes, visite sua home page.



Promoção

   

Organização

       

Patrocínio