Leila Ribeiro  
Research Publications Students CV

Home

Leila Ribeiro

CURRICULUM VITAE

1 PERSONAL DATA

Name: Leila Ribeiro

Parents: Miguel Ribeiro and Valesca Júlia Ribeiro
Birthdate: 25/01/1968, Porto Alegre/RS - Brasil

Office address: Universidade Federal do Rio Grande do Sul, Instituto de Informática,
                            Departamento de Informática Teórica.

                            Av. Bento Gonçalves, 9500 - Bloco IV - Agronomia
                            91509-900 Porto Alegre, RS - Brasil
Phone: +55 (51) 3316 9498
Fax:      +55 (51) 3316 7308

E-mail: leila@inf.ufrgs.br


2 ACADEMIC STUDIES

1992 - 1996 Ph. D. in Informatics.

            Technische Universitat Berlin, T.U.B., Germany.
            Title: Parallel composition and unfolding semantics of graph grammars
            Advisor: Hartmut Ehrig.

1989 - 1991 Master Degree in Computer Science

            Universidade Federal do Rio Grande do Sul, UFRGS, Rio Grande do Sul, Brasil.
            Title: Integração no PROSOFT de ambientes corretos obtidos a partir de especificações algébricas e executados usando sistemas de reescrita
            Advisor: Daltro José Nunes.

1985 - 1988 Undergraduate Course in Computer Science

            Universidade Federal do Rio Grande do Sul, UFRGS, Rio Grande do Sul, Brasil.

3 CURRENT PROFESSIONAL ACTIVITIES

Universidade Federal do Rio Grande do Sul - UFRGS

        Since 2013: Full Professor

        From 1998 - 2013: Associate Professor.
1

Conselho Nacional de Desenvolvimento Científico e Tecnológico/DF - CNPQ/DF

        Since 1999 : Research fellow - Level II.

Member of the IFIP Working Group 1.3 (Foundations of System Specification)

4 MAIN RESEARCH AND TEACHING AREAS


            Computability, Logics and Semantics of Programs
            Computation Models
            Methodology and Techniques in Computer Science, Software Engineering
            Bioinformatics and DNA Computing

5 LANGUAGES


            Portuguese
            English
            German

6 PRIZES

1999 Prêmio Santista Juventude - Area Informatics, granted by the Santista Foundation..

    

7 PARTICIPATION IN PROGRAM COMITTEES


PC Chair

PC Member of one or more editions of: