Gustavo Henrique Lopes Machado

Has experience in Computer Science, focusing on Logics and Program Semantics

Possui graduação em Ciência da Computação pela Universidade Federal de Minas Gerais (2007). Mestre em filosofia pela Universidade Federal de Minas Gerais (2016). Atualmente é pesquisador do Instituto Latino-americano de Estudos Socioeconômicos - ILAESE e doutorando em Filosofia Política pela UFMG.