Research projects
2005 - 2008 - FORMULA - Formal Methods and UML-RT Integration (Edital Universal)
2004 - 2010 - Processo Integrado de Avaliação, Seleção e Geração Automática de Casos de Teste (Projeto de Pesquisa CIn-Motorola)
2002 - Present - Projeto de Automação de Testes (cooperação de P&D CIn-Motorola)
2002 - Present - Curso Seqüencial de Formação Complementar em Análise de Testes
2001 - 2005 - DARE-COOP - Develoment and Applications of a Refinement Calculus for Object-Oriented Programming
2001 - 2002 - Refinement Calculi for Sequential and Concurrent Programs
1999 - 2001 - CO-OP - Calculus of Object-Oriented Programming