Rodrigo Geraldo Ribeiro

Possui graduação em Ciência da Computação pela Universidade Federal de Ouro Preto (2005), mestrado em Ciências da Computação pela Universidade Federal de Minas Gerais (2007) e doutorado em Ciências da Computação pela Universidade Federal de Minas Gerais (2013). Atualmente é professor adjunto da Universidade Federal de Ouro Preto e professor permanente da Universidade Federal de Ouro Preto. Tem experiência na área de Ciência da Computação, com ênfase em Linguagens de Programação, atuando principalmente nos seguintes temas: sistemas de tipos, verificação formal e parsing.

graduation at Ciência da Computação from Universidade Federal de Ouro Preto (2005), master's at Computer Science from Universidade Federal de Minas Gerais (2007) and doctorate at Computer Science from Universidade Federal de Minas Gerais (2013). Has experience in Computer Science, focusing on Programming Languages, acting on the following subjects: sistemas de tipos, formal verification, engenharia de software, inteligência artificial and meta-programação.