Fernando Augusto Fernandes Braz

Bachelor's at Computer Science from Pontifícia Universidade Católica de Minas Gerais (2010) and master's at Computer Science from Universidade Federal de Minas Gerais (2013). Has experience in Computer Science, focusing on Formal Verification, acting on the following subjects: probabilistic model checking and systems biology.

Possui graduação em Ciência da Computação pela Pontifícia Universidade Católica de Minas Gerais (2010) e mestrado em Ciência da Computação pela Universidade Federal de Minas Gerais (2013). Tem experiência na área de Ciência da Computação, com ênfase em Verificação Formal, atuando principalmente nos seguintes temas: verificação de modelos probabilísticos e biologia sistêmica.