Wanderley Lopes de Souza

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), spent a sabbatical year (2012-2013) doing research in Cloud Computing at University of Twente (the Netherlands), and spent a sabbatical year (2022-2023) doing research in Internet of Things (IoT) 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. (Source: Lattes Curriculum)