Lúcio Mauro Duarte

B.Sc. in Informatics from the Pontifical Catholic University of Rio Grande do Sul (1999), M.Sc. in Computer Science from the Pontifical Catholic University of Rio Grande do Sul (2001) and Ph.D. in Computer Science from Imperial College London, University of London (2007). Areas of interest include Software Engineering and Distributed Systems, focusing on: behaviour model extraction, formal specification and concurrent systems. Since August 2009, he has been working as an Associate Professor at the Department of Theoretical Computing of the Institute of Informatics of the Federal University of Rio Grande do Sul (UFRGS), where he is part of the research group on Validation, Verification, and Testing. Member of the Brazilian Computer Society (SBC), IEEE Computer Society, and ACM SIGSOFT..

possui graduação em Bacharelado em Informática pela Pontifícia Universidade Católica do Rio Grande do Sul (1999), mestrado em Ciência da Computação pela Pontifícia Universidade Católica do Rio Grande do Sul (2001) e doutorado pelo Imperial College London, Universidade de Londres (2007). Tem experiência na área de Ciência da Computação, com ênfase em Sistemas Distribuídos e Engenharia de Software, atuando principalmente nos seguintes temas: extração/verificação de modelos de comportamento, especificação formal e teste de software. Desde de Agosto de 2009 atua como Professor Adjunto do Departamento de Informática Teórica do Instituto de Informática da Universidade Federal do Rio Grande do Sul (UFRGS), fazendo parte do Grupo de Validação, Verificação e Teste. É associado da Sociedade Brasileira de Computação (SBC), da IEEE Computer Society e da ACM SIGSOFT.