He received the B.S.degree in Electric Engineering in 1976 at the State University of Campinas (Unicamp), Brazil. From october/76 until december/79, He obtained the DEA and the Docteur Ingénieur degree at Université des Sciences et Techniques du Languedoc (USTL) - Montpellier II , Montpellier - FRANÇA. In the period of september/84-august/85 he obtained the post-doctoral degree in the Département d'Informatique et Recherche Operationnelle (IRO) at Université de Montréal (UdeM), Montréal (Québec)- CANADÁ.
He is a CNPq researcher since 1980 (nowadays he's a 1 C researcher). Since august/93 he's a full professor in the Computer Department at Federal University of São Carlos (UFSCar), Brazil.
His main research interest are : formal methods, distributed systems and multimedia and hypermedia systems. Current research topics include the application of formal methods to the life cycle of distributed multimedia applications. A more detailed account of his research can be found in the DAMD project.