Possui graduação em Matemática pela Universidade Federal da Bahia (2009) e graduação em Ciência da Computação pela Universidade Salvador (2008), mestrado em Ciência da Computação pela Pontifícia Universidade Católica do Rio Grande do Sul, PUCRS e doutorado em Computação pela Universidade Federal do Rio Grande do Sul, UFRGS. Tem experiência na área de Ciência da Computação, com ênfase em Lógicas e Semântica de Programas, atuando principalmente nos seguintes temas: PLN, semântica formal de linguagens de programação, software livre