Contato
Links úteis
Ciência da Computação
Engenharia de Computação
Telefones Internos
Localização
Webmail
Institucional
Apresentação
História
Ex-Diretores
Prêmios
Prêmio Alumni
Localização
Identidade Visual
Vídeos
Regimento
Graduação
Apresentação
Ingresso
Informações básicas aos alunos
Intercâmbio
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
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
Pós-Graduação
CEI INCUBADORA
DACOMP
PET Computação
Empresa Júnior IDE
Pessoas
Corpo docente
Técnicos Administrativos
Alumni (ex-alunos)
Mantenha a Conexão
Publicações
Livros didáticos
RITA
Coop. Internacional
Protocolos e Intercâmbios Ativos
Voltar para lista de docentes
Mariana Luderitz Kolberg
E-mail:
*protected email*
Telefone:
+55 51 3308-6110
Prédio:
43425
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