Guilherme Henrique de Sousa Santos

Possui graduação em Ciência da Computação pela Universidade Federal de Minas Gerais (2010) e mestrado em Ciências da Computação pela Universidade Federal de Minas Gerais (2013). Sua ênfase durante o mestrado foi Semântica Formal. Atualmente é engenheiro de software - Jasper Design Automation. Tem experiência na área de Ciência da Computação, com ênfase em Verificação Formal, atuando principalmente nos seguintes temas: verificação formal e interfaces gráficas.

bachelor's at Ciência da Computação from Universidade Federal de Minas Gerais (2010) and master's at Computer Science from Universidade Federal de Minas Gerais (2013). Has experience in Computer Science, focusing on Information Systems