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).
Tópicos de Interesse
- Especificação e Verificação Formal
- Semântica Formal
- Transformação de Modelos
- Gramática de Grafos
- Pensamento Computacional