Presentación

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.

Profesor contratado-Doctor