He holds a undergraduate degree (1976) in Electrical Engineering from State University of Campinas (Brazil), a master degree (1977), and a doctorate degree (1979) in Signals and Noises - Signal Processing, and Communication from University of Montpellier II (France). He holds a postdoctoral degree (1985) in Teleinformatics from University of Montreal (Canada), spent a sabbatical year (2001-2002) doing research in Ubiquitous Computing at University of Ottawa (Canada), and spent a sabbatical year (2012-2013) doing research in Cloud Computing at University of Twente (the Netherlands). From 1983 to 2000 he developed researches in the areas of Distributed Systems and Computer Networks, mainly with the subjects Formal Specification and Validation of Communication Protocols, having specialized in the Formal Description Techniques Estelle and LOTOS. He has been developing researches in the areas of Ubiquitous Computing, Cloud Computing, and Internet of Things since 2001, 2012, and 2018 respectively, focusing mainly on the Health domain. He is a Full Professor since 1990, and has been working at the Computing Department of Federal University of São Carlos (Brazil) since 1993. He held a CNPq Research Productivity Scholar from 1981 to 2001 in Brazil.
Possui graduação (1976) em Engenharia Elétrica pela Universidade Estadual de Campinas (Brasil), mestrado (1977) e doutorado (1979) em Sinais e Ruídos - Processamento de Sinais e Comunicação pela Universidade de Montpellier II (França). Possui pós-doutorado (1985) em Teleinformática pela Universidade de Montreal (Canadá), passou um ano sabático (2001-2002) realizando pesquisas em Computação Ubíqua na Universidade de Ottawa (Canadá) e passou um ano sabático (2012-2013) realizando pesquisas em Computação em Nuvem na Universidade de Twente (Holanda). De 1983 a 2000, desenvolveu pesquisas nas áreas de Sistemas Distribuídos e Redes de Computadores, principalmente com os temas Especificação Formal e Validação de Protocolos de Comunicação, tendo se especializado nas Técnicas de Descrição Formal Estelle e LOTOS. Desenvolve pesquisas nas áreas de Computação Ubíqua, Computação em Nuvem e Internet das Coisas desde 2001, 2012 e 2018, respectivamente, focando principalmente no domínio da Saúde. É Professor Titular concursado desde 1990, sendo lotado no Departamento de Computação da Universidade Federal de São Carlos (Brasil) desde 1993. Foi bolsista de Produtividade em Pesquisa do CNPq de 1981 a 2001 no Brasil.
