Leandro Dias da Silva has a bachelor’s degree in computer science from the Federal University of Alagoas (1999), a master’s degree in electrical engineering from the Federal University of Paraíba (2002), and a doctoral degree in electrical engineering from the Federal University of Campina Grande (2006). Currently, he is a full professor at the Computer Institute, Federal University of Alagoas. His research interests are formal methods, Petri nets, embedded systems, automation, pervasive computing, m-learning, and pervasive healthcare. He was a visiting researcher at University of California, Santa Cruz from 2004 to 2005.