UCLM

Modular

Nací en la tranquila localidad de Casas Ibañez, provincia de Albacete. Tras obtener el titulo de Licenciado en Informática por la Universidad Politécnica de Valencia en 1995, me incorporé a la Universidad de Castilla- la Mancha, como Becario de Colaboración de Tercer Ciclo en el año 1997. En el año 2003 obtuve el título de Doctor Ingeniero Informático por la Universidad de Castilla- La Mancha.
Actualmente soy Profesor Contratado-Doctor del Departamento de Sistemas Informáticos de la Universidad e imparto docencia en el Grado en Ingeniería Informática y en el Grado en Gestión y Administración Pública.

Las líneas de investigación en las que se centra mi tarea investigadora son: modelos formales de concurrencia, model checking, evaluación de prestaciones y testing.