Rodrigo Geraldo Ribeiro

Habilidades & Experiências

Possui graduação (2005) em Ciência da Computação pela  Universidade Federal de Ouro Preto, mestrado (2007) e doutorado (2013) em Ciência da Computação pela Universidade Federal de Minas Gerais onde desenvolveu projetos na área de projeto e implementação de linguagens de programação. Em 2016 realizou estágio pós-doutoral na Universidade Federal de Pelotas onde desenvolveu trabalhos relacionados à formalização de sistemas de memórias transacionais, inferência de tipos para a linguagem C e especificação do padrão Java 8. Desde 2008  é professor da Universidade Federal de Ouro Preto tendo atuado nos cursos de Ciência da Computação, Sistemas de Informação e Engenharia de Computação. Desde 2014 é professor do quadro permanente de programa de pós-graduação em Ciência da Computação da Universidade Federal de Ouro Preto. Tem experiência nas áreas de verificação formal de software, automação de testes e projeto de linguagens de programação.

Lattes: link