CV

Education

B.S. in Computer Science, Universidade Federal de Ouro Preto, 2005.
M.S. in Computer Science, Universidade Federal de Minas Gerais, 2007.
Ph.D in Computer Science, Universidade Federal de Minas Gerais, 2013.

Work experience

Spring 2008: Lecturer
- Universidade Federal de Ouro Preto

Publications

Iteradores, Templates e Consultas na Análise e Manipulação de Programas.

Compreensão de programas apoiada por uma linguagem de consulta em código fonte

A Solution to Haskell’s Multi-Parameter Type Class Dilemma

Uma Abordagem Híbrida de SAT e Busca Tabu para o Problema da Programação de Horários Escolares

Programação de Horários Escolares Através de SAT e Metaheurísticas

Resolvedores SAT para Verificação de Consistência em Modelos de Características

Mechanized metatheory for a λ-calculus with trust types

Terminating Constraint Set Satisfiability and Simplification Algorithms for Context-Dependent Overloading

Ambiguity and context-dependent overloading

Type inference for GADTs and anti-unification

Ambiguity and constrained polymorphism

A Mechanized textbook proof of a type unification algorithm

Optional type classes for Haskell

Certified derivative based parsing of regular expressions

Compilação parcial de programas escritos em C

Certified bit-coded regular expression parsing

A domain specific language for drum beat programming.

Inference of Static Semantics for Incomplete C Programs

Formal Semantics for Java-like Languages and Research Opportunities

Generating Random Well-Typed Featherweight Java Programs Using QuickCheck

Type Inference for GADTs, OutsideIn and Anti-unification

Towards certified virtual machine-based regular expression parsing

Property-Based Testing for Lambda Expressions Semantics in Featherweight Java

A Type-Directed Algorithm to Generate Well-Typed Featherweight Java Programs

Transactional Boosting no Glasgow Haskell Compiler

Talks

Programação com tipos dependentes em Agda

April 01, 2014

Talk at UDESC, Department of Computing, Joinville, Santa Catarina

Mechanized textbook proof of a type unification algorithm

September 22, 2015

Talk at Brazilian Symposium on Formal Methods, London, UK

Certified bit-coded regular expression parsing

September 21, 2017

Conference proceedings talk at XX Brazilian Symposium on Programming Languages, Fortaleza - CE

Verificação de Software

January 19, 2018

Palestra para a disciplina Introdução à ciência da computação at UFOP, Ouro Preto - MG

Towards certified virtual machine based regular expression parsing

September 20, 2018

XXII Brazilian Symposium on Programming Languages at SBLP, São Carlos - SP

Teaching

Teaching duties in 2017/2

Teaching duties in 2018/1

Teaching duties in 2018/2

Teaching duties in 2019/1

Teaching duties in 2019/2