Possui graduação em Matemática pela Universidade Santa Úrsula (1979), especialização e mestrado em Matemática pela Universidade Federal Fluminense (1982) e doutorado em Informática pela Pontifícia Universidade Católica do Rio de Janeiro (1986). Atualmente é tecnologista senior do Laboratório Nacional de Computação Científica. Tem interesse na área de Ciência da Computação, com ênfase em Teoria da Computação e Inteligencia Artificial.
graduate at Matemática from Universidade Santa Úrsula (1978), master's at Mathematics from Universidade Federal Fluminense (1982) and ph.d. at Computer Science from Pontifícia Universidade Católica do Rio de Janeiro (1986). Has experience in Computer Science, focusing on Computability and Computational Models, acting on the following subjects: linguistica computacional, inteligencia artificial, gramáticas, lógica and inferencias.