Leila Ribeiro

Teaching

Research

Publications

Students

CV

Links

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, Year:1996.

            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, Year: 1991.
            Advisor: Daltro José Nunes.

1985 - 1988 Undergraduation in Computer

            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 1998: Associate Professor.

1

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

        Since 1999 : Research fellow - Level IIC.

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

2006: 

        PC co-Chair of the ICGT 2006 (International Conference on Graph Transformation) 
        PC Chair of the WMF 2006 (Brazilian Workshop on Formal Methods)
        Member of PC of FASE 2006 (ETAPS Fundamental Approaches to Software Engineering)

        Member of PC of the SBES 2005 (Brazilian Symposium on Software Engineering)
        Member of PC of the WMF 2005 (Brazilian Workshop on Formal Methods)
        Member of PC of BSB 2005 (Brazilian Symposim on Bioinformatics)

2004: 

        Member of PC of the SBES 2004 (Brazilian Symposium on Software Engineering)
        Member of PC of the WMF 2004 (Brazilian Workshop on Formal Methods)

2003:

        Member of PC of the SBES 2003 (Brazilian Symposium on Software Engineering)
        Member of PC of the WMF 2003(Brazilian Workshop on Formal Methods)

2002: 

        PC Chair of the SBES 2002 (Brazilian Symposium on Software Engineering)
        Member of PC of the TCS2002 (2nd Theoretical Computer Science Conference)
        Member of PC of the IDPT2002 (6th World Conference on Integrated Design & Process Technology)

2001: 

        Member of PC of the SBES 2001 (Brazilian Symposium on Software Engineering)
        Member of PC of the WMF 2001 (Brazilian Workshop on Formal Methods)

2000 : 

        Member of PC of the SBES 2000 (Brazilian Symposium on Software Engineering)
        PC-chair of the WMF2000 (Brazilian Workshop on Formal Methods)

1999: 

        Member of PC of the SBES 2000 (Brazilian Symposium on Software Engineering)
        Member of PC of the SBLP 1999 (Brazilian Symposium on Programming Languages)
        Member of PC of the WMF2000 (Brazilian Workshop on Formal Methods)