Professora Associada da Universidade Federal de Pelotas (2009).

Doutora (2008) e Mestre (2003) em Ciência da Computação pela UFRGS.

Bacharel em Ciência da Computação pela UCS (2000).

Currículo Lattes

Tópicos de Interesse

    • Especificação e Verificação Formal
    • Semântica Formal
    • Transformação de Modelos
    • Gramática de Grafos
    • Pensamento Computacional