Português English
Contato

Leila Ribeiro

Professor Titular
+55 51 3308-9498
43413
218

Qualificações

  • Doutorado em Informática (Universidade Técnica de Berlim,TUB., Alemanha., 1996)
  • 1989-1991 Mestrado em Computação
  • 1992-1996 Doutorado em Informatik
  • 2008-2009 Pós-doutorado em University of York

Áreas de Interesse

  • Métodos Formais para especificação, desenvolvimento e análise de sistemas computacionais
  • Bioinformática
  • Engenharia de Software
  • Métodos Formais
  • Verificação e Semântica Formal
  • Ensino de Computação na Educação Básica