|
|
|
|
Enrique Martínez
López |
|||
|
|
|
|||
|
|
|
|
||||||
|
||||||||
|
|
||||||||
|
|
Información de
Contacto |
|
||||||
|
|
Universidad de
Castilla-La Mancha |
|||||||
|
|
Instituto de
Investigación en Informática de Albacete (I3A) |
|||||||
|
|
Campus Universitario
s/n |
|||||||
|
|
02071 - Albacete,
España |
|||||||
|
|
Teléfono: (+34) 659 348 080 /
(+34) 967 599 200 (Ext. 2678) |
|||||||
|
|
||||||||
|
|
||||||||
|
|
|
|||||||
|
|
Doctor en Tecnologías
Informáticas Avanzadas |
Investigación |
||||||
|
|
Universidad de
Castilla-La Mancha |
Instituto de
Investigación en Informática de Albacete (I3A) |
|
|||||
|
|
Escuela Superior de
Ingeniería en Informática |
Real-Time
and Concurrent Systems (ReTiCS) |
||||||
|
|
Departamento de
Sistemas Informáticos |
|
||||||
|
|
|
|||||||
|
|
Referencia |
Título |
||||||
|
|
TIN2009-14312-C02-02 |
MODELADO Y ANALISIS DE
SERVICIOS WEB COMPUESTOS USANDO TECNICAS FORMALES |
||||||
|
|
|
|
||||||
|
|
|
|
||||||
|
|
||||||||
|
|
Biografía |
|||||||
|
|
Enrique
Martínez López nació en Albacete (España) el 3 de Enero en 1983. Obtuvo
su título en Ingeniería en Informática en la Universidad de Castilla-La Mancha en 2007, en 2009 obtuvo
el título del Máster Universitario en Tecnologías Informáticas Avanzadas
y en 2011 obtuvo el título de Doctor en Tecnologías Informáticas Avanzadas, impartidos
ambos por el Departamento
de Sistemas Informáticos de la misma universidad. Es
miembro del grupo de investigación ReTiCS (Real-Time and Concurrent Systems) ubicado en el I3A (Instituto de Investigación en Informática
de Albacete). Anteriormente, durante los años 2006 y 2007, colaboró con el
grupo de investigación SIDIS (Sistemas de Información Distribuida e Ingeniería
del Software) también ubicado en el I3A. Sus líneas de investigación actuales se
centran en el análisis, diseño y verificación de composiciones de Servicios
Web (siendo uno de los desarrolladores de la herramienta WST para este
fin), y en el modelado, análisis y verificación de contratos electrónicos
(e-contracts). Ha
sido beneficiario de una ayuda predoctoral de régimen general concedida por
la Consejería
de Educación y Ciencia de Castilla-La Mancha para el periodo comprendido
entre los años 2008 y 2011 (ambos inclusive). Como parte de su formación
doctoral ha realizado una estancia de 3 meses en el Department of Applied
IT (departamento compartido por Chalmers y University of Gothenburg,
situadas ambas en Gotemburgo, Suecia) bajo la supervisión del profesor Gerardo Schneider. Además
ha colaborado en la organización de los siguientes congresos: Otras
actividades de interés son la realización del Curso de Aptitud Pedagógica (C.A.P.) en
2008-2009 impartido por la Universidad
de Castilla-La Mancha y la obtención en 2007 del Certificado de Aptitud del Ciclo
Superior del Primer Nivel en el Idioma Inglés otorgado por la Escuela Oficial de Idiomas
de Albacete. Docencia Ha
impartido los siguientes cursos en el Departamento de
Sistemas Informáticos de la Universidad
de Castilla-La Mancha:
Además
ha sido uno de los codirectores de los siguientes Proyectos Final de Carrera:
Publicaciones Algunas
de sus publicaciones pueden encontrarse en DBLP,
el resto se enumeran a continuación: Publicaciones en revistas indexadas en JCR:
Publicaciones en congresos nacionales e
internacionales:
Un
currículum vítae
más detallado puede ser descargado aquí (pinchar con el botón derecho del ratón y
seleccionar la opción Guardar
enlace como... para descargar). |
|
||||||
|
|
||||||||
|
|
||||||||
|
|
||||||||
|
Para
más información, contacte con Enrique Martínez López.
|
||||||||
