Leila Ribeiro

Bachelor's in Computer Science from Universidade Federal do Rio Grande do Sul (1988), master's in Computer Science from Universidade Federal do Rio Grande do Sul (1991) and Ph.D. in Computer Science from Technische Universitat Berlin (1996). Experience in Computer Science, acting on the following subjects: software engineering (formal methods), computational modelling, bioinformatics, computer science education. Member of the IFIP TC1 (Foundations of Computer Science). Full professor at Universidade Federal do Rio Grande do Sul.

Leila Ribeiro é professora titular do Instituto de Informática da Universidade Federal do Rio Grande do Sul. 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). Sua pesquisa tem foco nos Fundamentos da Computação, e atua principalmente nas seguintes áreas da Computação: engenharia de software (em especial especificação e verificação formal), bioinformática, modelos de computação e ensino de Computação (com ênfase em pensamento computacional). 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. É reconhecida internacionalmente em sua área, tendo sido 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 membro efetivo da Sociedade Brasileira de Computação (SBC). Atualmente é Diretora de Ensino de Computação na Educação Básica da SBC (Sociedade Brasileira de Computação).