Diego Cazorla received a PhD in computer science from the University of Castilla-La Mancha (UCLM) in 2001, after getting an MSc in industrial engineering from the University of Zaragoza in 1988. After receiving his MSc degree, he worked in Alcatel (1989–1990) and the Spanish Telecom (Telefónica, 1991–1996) as an engineer. Since 1996, he has been a lecturer at the ”Escuela Superior de Ingeniería Informática” (UCLM). He is currently an associate professor in the Computing Systems Department, where he teaches subjects related to operating systems and parallel and distributed computing. During the last few years, he has focused his research on different aspects of formal methods of concurrent systems and the application of parallel and distributed computing in science and engineering.