É Bacharel em Ciência da
Computação pela Universidade de Brasília (2005), Mestre
(2007) e Doutor (2011) em Ciência da Computação pela
Universidade Estadual de Campinas. Foi doutorando
visitante por 1 ano na Universidade de Waterloo, Canadá,
e Professor Adjunto por pouco mais de 2 anos no
Departamento de Ciência da Computação da Universidade de
Brasília. Hoje atua como Professor Doutor no Instituto
de Computação da Universidade Estadual de Campinas. Tem
experiência na área de Criptografia e Segurança
Computacional, com ênfase em implementação eficiente de
algoritmos criptográficos e projeto de primitivas
criptográficas para fornecimento de anonimato
computacional. Coordenou a primeira equipe de
investigadores independentes capaz de detectar e
explorar vulnerabilidades no software da urna eletrônica
em testes controlados organizados pelo Tribunal Superior
Eleitoral.