UFRGS
Instituto de Informática UFRGS

Instituto de Informática · UFRGS

Leila Ribeiro

Professora Titular — Departamento de Informática Teórica

Possui graduação em Ciências da Computação pela Universidade Federal do Rio Grande do Sul (1988), mestrado em Ciências da Computação pela Universidade Federal do Rio Grande do Sul (1991) e doutorado em Informática pela Universidade Técnica de Berlim/Alemanha (1996) com tese na área de modelos semânticos para Computação. Fez estágio de pós-doutorado na Universidade de York, Inglaterra (2008/2009).
Em 1999, recebeu o Prêmio Santista Juventude na área de Computação.
Já coordenou diversos projetos nacionais e internacionais, bem como publicou mais de 100 artigos em revistas e eventos científicos.
É membro efetivo da Sociedade Brasileira de Computação (SBC). 

Atuação nacional

Educação em Computação

Atua na Educação em Computação no Brasil, com ênfase na inclusão de Computação na Educação Básica (referenciais, políticas e formação de professores). Foi uma das líderes da construção da BNCC Computação — o complemento à Base Nacional Comum Curricular que tornou o desenvolvimento de habilidades da Computação obrigatório nas escolas brasileiras — e do PROFCOMP (Mestrado Profissional em Ensino de Computação em rede nacional), e trabalha na consolidação de uma comunidade nacional dedicada ao tema, articulando pesquisadores, licenciaturas, redes de ensino e gestores públicos em torno de eventos, publicações e políticas para o ensino de Computação.

Capa do livreto O que é Computação

O que é Computação?

Um guia prático para gestores e docentes da Educação Básica. Livretos SBC.

Acessar →

 Artigo Computing Everywhere, for Everyone, at Any Level

Computing Everywhere, for Everyone, at Any Level

Communications of the ACM, 2024

Acessar →

 Capa do resumo executivo Grandes Desafios da Educação em Computação

Grandes Desafios da Educação em Computação 2025–2035

Resumo executivo. Livretos SBC, 2025.

Acessar →
PROFCOMP

PROFCOMP

Mestrado Profissional em Rede Nacional em Ensino de Computação.

SBC · página oficial →

 Bottons e adesivos da Computação na Educação Básica
SBC

Diretoria de Computação na Educação Básica

SBC · página oficial →

Referências e eventos

Pesquisa

Foco nos Fundamentos da Computação, atuando principalmente nas seguintes áreas da Computação: ensino de Computação (com ênfase em pensamento computacional), engenharia de software (em especial especificação e verificação formal), modelos de computação e bioinformática.

CAPLING em andamento

Ambiente para Desenvolvimento do Pensamento Computacional

Coordenação. Linguagens visuais e transformação de grafos para construir e analisar algoritmos na Educação Básica. 2022–2027.

Ver página do projeto →

Ensino

Disciplinas de 2025 e 2026, na graduação e na pós-graduação.

Disciplinas 2025/2026

{{ c.name }} {{ c.level }}
PIBID formação de professores

PIBID — Subprojeto Computação

Coordenação de área. Licenciandos em Computação e Robótica Educativa atuando em escolas públicas do RS.

Ver página do PIBID/UFRGS →

Extensão

Formação continuada na comunidade da UFRGS.

Cursos de capacitação em Inteligência Artificial

Coordenação e docência em cursos de capacitação em IA oferecidos à comunidade universitária.

Inteligência Artificial Generativa para Educadores do Ensino Superior: Fundamentos e Práticas

Inteligência Artificial Generativa para Técnicos-administrativos do Ensino Superior: Fundamentos e Práticas

Atividades administrativas

Gestão e representação na UFRGS e na SBC.

{{ r.name }} {{ r.years }}

Contato

Endereço

Instituto de Informática — UFRGS
Av. Bento Gonçalves, 9500 — Bloco IV
Agronomia, Porto Alegre, RS
CEP 91501-970 — Caixa Postal 15.064

Sala e telefone

Prédio 43424, sala 218
+55 51 3316 9498