Doutorando em Ciência da Computação na Universidade Federal de Minas Gerais (UFMG), Mestre em Ciência da Computação e Bacharel em Física pela UFMG. Interessado em Métodos Formais, Fluxo de Informação Quantitativo, Privacidade, Justiça, Inteligência Artificial, e Neurociência. ©