graduate at Ciência da Computação from Universidade Federal de Minas Gerais (1986), master's at Computer Science from Universidade Federal de Minas Gerais (1990), master's at Ciência da Computação from Carnegie Mellon University (1992) and ph.d. at Ciência da Computação from Carnegie Mellon University (1996). Has experience in Computer Science, focusing on Software Engeneering, acting on the following subjects: symbolic model checking, verificacao formal, sistemas de tempo real, algoritmos simbolicos and comércio eletrônico.
possui graduação em Ciência da Computação pela Universidade Federal de Minas Gerais (1986), mestrado em Ciências da Computação pela Universidade Federal de Minas Gerais (1990), mestrado em Ciência da Computação - Carnegie Mellon University (1992) e doutorado em Ciência da Computação - Carnegie Mellon University (1996). Atualmente é professor associado da Universidade Federal de Minas Gerais. Tem experiência na área de Ciência da Computação, atuando principalmente nos seguintes temas: symbolic model checking, verificacao formal, sistemas de tempo real, algoritmos simbolicos. Atua também em pesquisa na área de Bioinformática, trabalhando com sistemas de gerência de dados biológicos, ou Laboratory Information Management Systems.
