Leandro Dias da Silva

Leandro Dias da Silva received the B.S. degree in Computer Science from Universidade Federal de Alagoas (1999), the M.Sc. degree in Electric Engineering from Universidade Federal da Paraíba (2002) and Ph.D. in Electric Engineering from Universidade Federal de Campina Grande (2006). He is presently Associate Professor at Instituto de Computação at Universidade Federal de Alagoas. Has experience in Computer Science, focusing on Software Engineering, acting on the following subjects: Petri nets, model checking, timed automata, medical informatics, pervasive computing, embedded systems, safety-critical systems, cyber-physical systems.

Possui graduação em Ciência da Computação pela Universidade Federal de Alagoas (1999), mestrado em Engenharia Eletrica pela Universidade Federal da Paraíba (2002) e doutorado em Engenharia Elétrica pela Universidade Federal de Campina Grande (2006). Atualmente é Professor Associado do Instituto de Computação da Universidade Federal de Alagoas. Tem experiência na área de Ciência da Computação, com ênfase em Engenharia de Software, atuando principalmente nos seguintes temas: redes de Petri, verificação de modelos, autômatos temporizados, computação ubíqua e pervasiva, informática médica, sistemas embarcados, sistemas críticos, sistemas físicos-cibernéticos.