Docente do Departamento de Ciência da Computação (MAC) do Instituto de Matemática e Estatística da USP.

Possui graduação em Bacharelado Em Ciência da Computação pela Universidade Federal de Pernambuco(1986), mestrado em Ciências da Computação pela Universidade Federal de Pernambuco(1989), doutorado em Phd In Computer Science pela The University Of Manchester(1995) e pós-doutorado pela University of Oxford(2009). Atualmente é Professor Associado da Universidade de São Paulo, Consultor Ad-hoc do Conselho Nacional de Desenvolvimento Científico e Tecnológico, Revisor de projeto de fomento do Conselho Nacional de Desenvolvimento Científico e Tecnológico, Consultor Ad-hoc do Coordenação de Aperfeiçoamento de Pessoal de Nível Superior, Revisor de projeto de fomento do Coordenação de Aperfeiçoamento de Pessoal de Nível Superior, Consultor Ad-hoc do Fundação de Amparo à Pesquisa do Estado de São Paulo, Revisor de projeto de fomento do Fundação de Amparo à Pesquisa do Estado de São Paulo, Revisor de periódico da Journal of the Brazilian Computer Society (0104-6500), Revisor de periódico da Formal Aspects of Computing, Revisor de periódico da International Journal of Software Engineering and Knowledge Engineering, Membro - Comissão Especial de Métodos Formais da Sociedade Brasileira de Computação, Revisor de periódico da Theoretical Computer Science, Revisor de periódico da Science of Computer Programming, Revisor de periódico da Information Sciences, Revisor de periódico da IET Software (Print), Revisor de periódico da The Journal of Systems and Software e Revisor de periódico da Computer Standards & Interfaces. Tem experiência na área de Ciência da Computação, com ênfase em Teoria da Computação. Atuando principalmente nos seguintes temas:reuse, Formal Methods, Process Algebras, Formal Verification, Bisimulation. (Texto gerado automaticamente pela aplicação CVLattes)

Currículo Lattes: http://lattes.cnpq.br/1225623517319669