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
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
Programas
CEI INCUBADORA
PET Computação
DACOMP
Pessoas
Corpo docente
Técnicos Administrativos
Alumni (ex-alunos)
Publicações
Livros didáticos
RITA
Coop. Internacional
Protocolos e Intercâmbios Ativos
Voltar para lista de docentes
Leila Ribeiro
E-mail:
*protected email*
Telefone:
+55 51 3308-9498
Prédio:
43413 (67)
Sala:
218
Página Pessoal:
http://www.inf.ufrgs.br/~leila
Lattes:
http://lattes.cnpq.br/8705873746227963
Posição:
Professor Titular
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