Português English
Contato

Lucio Mauro Duarte

Lucio Mauro Duarte
+55 51 3308-7126
43425 (73)
229
Professor Adjunto

Qualificações

  • Doutorado em Ciência da Computação (Imperial College London, University of London, Londres, Reino Unido, 2007)
  • 2000-2001 Mestrado em Ciência da Computação
  • 2003-2007 Doutorado em Ciência da Computação
  • 2008-2009 Pós-doutorado em Universidade Federal do Rio Grande do Sul

Áreas de Interesse

  • Extração e verificação de modelos de comportamento
  • Desenvolvimento de Software Confiável
  • Verificação Formal de Sistemas
  • Desenvolvimento de Sistemas Computacionais Não-Convencionais