Formado em Engenharia Elétrica em 1976 pela Universidade Estadual de Campinas (Unicamp). Concluiu o mestrado (DEA) e o doutorado (Docteur Ingenieur), no período de outubro/76 até dezembro/79, pela Université des Sciences et Techniques du Languedoc (USTL) - Montpellier II, Montpellier - FRANÇA. De setembro/84 até agosto/85 fez o pós-doutorado no Département d'Informatique et Recherche Operationnelle (IRO) da Université de Montréal (UdeM), Montréal (Québec)- CANADÁ.
Desde 1980 é pesquisador junto ao CNPq (nível 1C), sendo professor titular no Departamento de Computação da Universidade Federal de São Carlos (UFSCar) desde agosto/1993.
Suas áreas de pesquisa incluem : métodos formais, sistemas distribuídos e sistemas multimídia e hipermídia. Alguns dos tópicos de pesquisa atuais abrangem a aplicação de métodos formais no ciclo de vida de sistemas multimídia distribuídas. Mais detalhes sobre sua pesquisa atual pode ser encontrado no Projeto DAMD.