Português English
Contato

Mariana Luderitz Kolberg

Mariana Luderitz Kolberg
+55 51 3308-6110
43425 (73)
231
Professor Adjunto

Qualificações

  • Doutorado Sanduiche em Computação Verificada (Universidade de Karlsruhe, Alemanha, 2006-2008)
  • 2003-2005 Mestrado em Ciência da Computação
  • 2005-2009 Doutorado em Ciência da Computação

Áreas de Interesse

  • Análise de Intervalos
  • Computação Verificada
  • Computação de Alto-Desempenho
  • Computação de Alto Desempenho
  • Robótica Intervalar