Professora associada do Departamento de Linguagens e Sistemas de Computação (DLSC) do Centro de Tecnologia (CT) da Universidade Federal de Santa Maria desde agosto de 2009. Possui Graduação em Ciência da Computação pela UCPel (1999), Mestrado (2001) e Doutorado (2006) em Ciência da Computação pela Universidade Federal do Rio Grande do Sul. Durante o período do doutorado, realizou estágio sanduíche na Indiana University, EUA. Sua tese de doutorado recebeu em 2007 o Terceiro lugar no Concurso Brasileiro de Teses em Computação provido pela Sociedade Brasileira de Computação (SBC). Foi bolsista PCI do Instituto Nacional de Pesquisas Espaciais (INPE) como analista de sistemas na área de computação aplicada à meteorologia. Na docência atua na área de fundamentos e teoria da computação e programação, ministrando as disciplinas de projeto e análise de algoritmos, teoria da computação, paradigmas de programação, preparação para a maratona de programação, linguagens de programação (semântica formal e sistemas de tipos/ pós-graduação) entre outras. Seus interesses de pesquisa incluem as áreas de Computação Quântica e fundamentos e teoria da computação. Faz pesquisa principalmente no tema de Computação Quântica, Semântica Formal de Linguagens de Programação e Paradigmas de Programação, com ênfase em semântica de linguagens funcionais e sistemas de tipos e lógica formal, aplicações da semântica das linguagens funcionais em Java, linguagens funcionais quânticas e algoritmos quânticos. Também atua ativamente na área transdisciplinar de Arte, Ciência e Processos Computacionais através da participação no projeto de ensino, pesquisa e extensão: Museu Arte, Ciência e Tecnologia (MACT/UFSM), junto ao LABART/CAL/UFSM. Atualmente é coordenadora da área de Tecnologia do MACT/UFSM (2021-). É co-orientadora de doutorado no PPG Educação em Ciências da UFSM e está em processo de credenciamento como professora colaboradora no PPGART/UFSM.