Professor da Escola de Artes, Ciências e Humanidades da Universidade de São Paulo desde 2013. Tem doutorado em Ciência da Computação na área de Lógica e Representação do Conhecimento e é um dos coordenadores do projeto Securegen. http://lattes.cnpq.br/2153927915438535