Leila Ribeiro

Leila Ribeiro é professora titular do Instituto de Informática da Universidade Federal do Rio Grande do Sul. Possui graduação e mestrado em Ciências da Computação pela Universidade Federal do Rio Grande do Sul e doutorado em Informática pela Universidade Técnica de Berlim/Alemanha. Fez estágio de pós-doutorado na Universidade de York, Inglaterra. Sua pesquisa tem foco nos Fundamentos da Computação, e atua principalmente nas seguintes áreas da Computação:  modelos de computação,  engenharia de software (em especial especificação e verificação formal),  ensino de Computação (com ênfase em pensamento computacional) e  bioinformática . 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. Foi coordenadora dos comitês de programa dos mais importantes simpósios nacionais de sua área, bem como de eventos internacionais. É a representante brasileira no IFIP Technical Committee 1 (Foundations of Computer Science) e Diretora de Ensino de Computação na Educação Básica da SBC (Sociedade Brasileira de Computação), tendo coordenado nos últimos anos as ações da SBC para a inclusão de Computação na BNCC.