Rodrigo Machado

Possui graduação em Ciência da Computação pela Universidade Federal do Rio Grande do Sul (2002), mestrado em Computação pela Universidade Federal do Rio Grande do Sul (2005) e doutorado em Computação pela Universidade Federal do Rio Grande do Sul (2012). Tem experiência na área de Ciência da Computação, com ênfase em lógicas e semântica de programas, atuando principalmente nos seguintes temas: semântica formal, modelos de computação, sistemas de reescrita de grafos e linguagens de programação funcionais.

bachelor's at Ciência da Computação from Universidade Federal do Rio Grande do Sul (2002), master's at Computer Science from Universidade Federal do Rio Grande do Sul (2005) and doctorate at Computer Science from Universidade Federal do Rio Grande do Sul (2012). , acting on the following subjects: formal semantics of programming languages, graph rewriting systems and functional semantics of programming languages.