Contato
Links úteis
Ciência da Computação
Engenharia de Computação
Contato
Telefones Internos
Localização
Webmail
Institucional
Apresentação
História
Prêmios e Distinções
Prêmio Alumni
Localização
Material de Divulgação
Identidade Visual
Fotos e Vídeos
Regimento
Graduação
Apresentação
Ingresso
Informações básicas aos alunos
Intercâmbio
Comissões de Graduação
Ciência da Computação
Engenharia de Computação
Perguntas Frequentes
Pós-Graduação
Apresentação
PPGC
PGMICRO
PPGIE
Especializações
Pesquisa
Grupos de Pesquisa
Projetos de Pesquisa
Comissão de Pesquisa
Extensão
Cursos de Extensão
Cursos de Especialização
Projetos de Extensão
Inscrições Abertas
Série de seminários do INF
Estrutura
Direção
NAU
Conselho
Comissões
Departamentos
Programas
CEI INCUBADORA
DACOMP
Pessoas
Corpo docente
Técnicos Administrativos
Alumni (ex-alunos)
Publicações
Livros didáticos
RITA
Internacionalização
Projetos de Cooperação Internacional
Protocolos de Cooperação Internacional
Intercâmbios Acadêmicos
Voltar para lista de docentes
Mariana Luderitz Kolberg
E-mail:
*protected email*
Telefone:
+55 51 3308-6110
Prédio:
43425 (73)
Sala:
231
Lattes:
http://lattes.cnpq.br/7133274936570173
Posição:
Professor Associado
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
Robótica Intervalar
Robótica Móvel
Computação de Alto Desempenho