{"id":13,"date":"2018-04-06T14:47:13","date_gmt":"2018-04-06T14:47:13","guid":{"rendered":"http:\/\/dalila.sip.ucm.es\/fadoss\/?page_id=13"},"modified":"2026-03-04T17:48:55","modified_gmt":"2026-03-04T17:48:55","slug":"doctorado","status":"publish","type":"page","link":"https:\/\/maude.ucm.es\/fadoss\/doctorado\/","title":{"rendered":"Doctorado"},"content":{"rendered":"

Tesis doctorales<\/h2>\n

T\u00edtulo:<\/b> Aplicaci\u00f3n de t\u00e9cnicas de complejidad computacional en el \u00e1mbito de la pol\u00edtica
\nAutor:<\/b> Aitor Godoy Fresneda
\nDirectores:<\/b> Ismael Rodr\u00edguez Laguna y Fernando Rubio Diez
\nFacultad:<\/b> Facultad de Inform\u00e1tica (Universidad Complutense de Madrid)
\nFecha:<\/b> Enero 2026
\nCalificaci\u00f3n:<\/b> Sobresaliente cum Laude<\/p>\n

T\u00edtulo:<\/b> Conditional narrowing modulo membership equational logic theories with SMT solvers<\/a>
\nAutor:<\/b> Luis Manuel Aguirre Garc\u00eda
\nDirectores:<\/b> Narciso Mart\u00ed Oliet, Miguel Palomino Tarjuelo e Isabel Pita Andreu
\nFacultad:<\/b> Facultad de Inform\u00e1tica (Universidad Complutense de Madrid)
\nFecha:<\/b> Febrero 2024
\nCalificaci\u00f3n:<\/b> Sobresaliente cum Laude<\/p>\n

T\u00edtulo:<\/b> An\u00e1lisis est\u00e1tico de tipos para lenguajes de tipado din\u00e1mico<\/a>
\nAutor:<\/b> Gorka Su\u00e1rez Garc\u00eda
\nDirectores:<\/b> Francisco Javier L\u00f3pez Fraguas y Manuel Montenegro Montes
\nFacultad:<\/b> Facultad de Inform\u00e1tica (Universidad Complutense de Madrid)
\nFecha:<\/b> Mayo 2022
\nCalificaci\u00f3n:<\/b> Sobresaliente cum Laude<\/p>\n

T\u00edtulo:<\/b> Model checking of strategy-controlled systems in rewriting logic<\/a>
\nAutor:<\/b> Rub\u00e9n Rafael Rubio Cu\u00e9llar
\nDirectores:<\/b> Narciso Mart\u00ed Oliet, Isabel Pita Andreu y Alberto Verdejo L\u00f3pez
\nFacultad:<\/b> Facultad de Inform\u00e1tica (Universidad Complutense de Madrid)
\nFecha:<\/b> Enero 2022
\nCalificaci\u00f3n:<\/b> Sobresaliente cum Laude<\/p>\n

T\u00edtulo:<\/b> Composition in Rewriting Logic<\/a>
\nAutor:<\/b> \u00d3scar Mart\u00edn S\u00e1nchez
\nDirectores:<\/b> Alberto Verdejo L\u00f3pez y Narciso Mart\u00ed Oliet
\nFacultad:<\/b> Facultad de Inform\u00e1tica (Universidad Complutense de Madrid)
\nFecha:<\/b> Septiembre 2021
\nCalificaci\u00f3n:<\/b> Sobresaliente cum Laude<\/p>\n

T\u00edtulo:<\/b> Traduciendo OCL como lenguaje de consultas y restricciones<\/a>
\nAutor:<\/b> Carolina Dania Flores
\nDirectores:<\/b> Manuel Garc\u00eda Clavel y Marina Egea
\nFacultad:<\/b> Facultad de Inform\u00e1tica (Universidad Complutense de Madrid)
\nFecha:<\/b> Junio 2017
\nCalificaci\u00f3n:<\/b> Sobresaliente cum Laude<\/p>\n

T\u00edtulo:<\/b> M\u00e1s sobre equivalencias l\u00f3gicas y distancias entre procesos<\/a>
\nAutor:<\/b> David Romero Hern\u00e1ndez
\nDirectores:<\/b> David de Frutos Escrig
\nFacultad:<\/b> Facultad de Inform\u00e1tica (Universidad Complutense de Madrid)
\nFecha:<\/b> Febrero 2016
\nCalificaci\u00f3n:<\/b> Sobresaliente cum Laude<\/p>\n

T\u00edtulo:<\/b> Verificaci\u00f3n de extensiones de Redes de Petri con precios, tiempo y m\u00faltiples instancias<\/a>
\nAutor:<\/b> Mar\u00eda Rosa Martos Salgado
\nDirectores:<\/b> Fernando Rosa Velardo
\nFacultad:<\/b> Facultad de Inform\u00e1tica (Universidad Complutense de Madrid)
\nFecha:<\/b> Enero 2016
\nCalificaci\u00f3n:<\/b> Sobresaliente cum Laude<\/p>\n

T\u00edtulo:<\/b> Extensiones de bases de datos relacionales y deductivas: fundamentos te\u00f3ricos e implementaci\u00f3n<\/a>
\nAutor:<\/b> Gabriel Aranda L\u00f3pez
\nDirectores:<\/b> Susana Nieva Soto, Fernando S\u00e1enz P\u00e9rez y Jaime S\u00e1nchez Hern\u00e1ndez
\nFacultad:<\/b> Facultad de Inform\u00e1tica (Universidad Complutense de Madrid)
\nFecha:<\/b> Diciembre 2015
\nCalificaci\u00f3n:<\/b> Sobresaliente cum Laude<\/p>\n

T\u00edtulo:<\/b> Cooperaci\u00f3n entre dominios de restricciones y estrategias de cooperaci\u00f3n en el contexto CFLP<\/a>
\nAutor:<\/b> Sonia Est\u00e9vez Mart\u00edn
\nDirectores:<\/b> Jes\u00fas Correas Fern\u00e1ndez y Fernando S\u00e1enz P\u00e9rez
\nFacultad:<\/b> Facultad de Inform\u00e1tica (Universidad Complutense de Madrid)
\nFecha:<\/b> Julio 2015
\nCalificaci\u00f3n:<\/b> Sobresaliente cum Laude<\/p>\n

T\u00edtulo:<\/b> Sobre la equivalencia entre sem\u00e1nticas operacionales y denotacionales para lenguajes funcionales paralelos<\/a>
\nAutor:<\/b> Lidia S\u00e1nchez Gil
\nDirectores:<\/b> Yolanda Ortega Mall\u00e9n y Mercedes Hidalgo Herrero
\nFacultad:<\/b> Facultad de Inform\u00e1tica (Universidad Complutense de Madrid)
\nFecha:<\/b> Julio 2015
\nCalificaci\u00f3n:<\/b> Sobresaliente cum Laude<\/p>\n

T\u00edtulo:<\/b> Desarrollo dirigido por modelos de aplicaciones seguras para el manejo de informaci\u00f3n<\/a>
\nAutor:<\/b> Miguel \u00c1ngel Garc\u00eda de Dios
\nDirectores:<\/b> Manuel Garc\u00eda Clavel
\nFacultad:<\/b> Facultad de Inform\u00e1tica (Universidad Complutense de Madrid)
\nFecha:<\/b> Abril 2015
\nCalificaci\u00f3n:<\/b> Sobresaliente cum Laude<\/p>\n

T\u00edtulo:<\/b> Mejora de la eficiencia de resoluci\u00f3n del sistema TOY(FD) y su aplicaci\u00f3n a problemas reales de la industria<\/a>
\nAutor:<\/b> Ignacio Casti\u00f1eiras P\u00e9rez
\nDirectores:<\/b> Francisco J. L\u00f3pez Fraguas y Fernando S\u00e1enz P\u00e9rez
\nFacultad:<\/b> Facultad de Inform\u00e1tica (Universidad Complutense de Madrid)
\nFecha:<\/b> Mayo 2014
\nCalificaci\u00f3n:<\/b> Sobresaliente cum Laude<\/p>\n

T\u00edtulo:<\/b> Sistemas de tipos en lenguajes l\u00f3gico-funcionales<\/a>
\nAutor:<\/b> Enrique Mart\u00edn-Mart\u00edn
\nDirectores:<\/b> Francisco J. L\u00f3pez Fraguas y Juan Rodr\u00edguez Hortal\u00e1
\nFacultad:<\/b> Facultad de Inform\u00e1tica (Universidad Complutense de Madrid)
\nFecha:<\/b> Julio 2012
\nCalificaci\u00f3n:<\/b> Sobresaliente cum Laude<\/p>\n

T\u00edtulo:<\/b> T\u00e9cnicas coalgebraicas y categ\u00f3ricas para el estudio de las sem\u00e1nticas de procesos<\/a>
\nAutor:<\/b> Ignacio F\u00e1bregas Alfaro
\nDirectores:<\/b> David de Frutos Escrig y Miguel Palomino Tarjuelo
\nFacultad:<\/b> Facultad de Inform\u00e1tica (Universidad Complutense de Madrid)
\nFecha:<\/b> Marzo 2012
\nCalificaci\u00f3n:<\/b> Sobresaliente cum Laude<\/p>\n

T\u00edtulo:<\/b> Certificaci\u00f3n formal de programas en un lenguaje funcional impaciente<\/a>
\nAutor:<\/b> Javier de Dios Castro
\nDirector:<\/b> Ricardo Pe\u00f1a Mar\u00ed
\nFacultad:<\/b> Facultad de Inform\u00e1tica (Universidad Complutense de Madrid)
\nFecha:<\/b> Enero 2012
\nCalificaci\u00f3n:<\/b> Sobresaliente cum Laude<\/p>\n

T\u00edtulo:<\/b> An\u00e1lisis de propiedades de seguridad y consumo acotado de memoria en un lenguaje funcional sin recolecci\u00f3n de basura<\/a>
\nAutor:<\/b> Manuel Montenegro Montes
\nDirectores:<\/b> Ricardo Pe\u00f1a Mar\u00ed y Clara Segura D\u00edaz
\nFacultad:<\/b> Facultad de Inform\u00e1tica (Universidad Complutense de Madrid)
\nFecha:<\/b> Noviembre 2011
\nCalificaci\u00f3n:<\/b> Sobresaliente cum Laude<\/p>\n

T\u00edtulo:<\/b> Depuraci\u00f3n declarativa y verificaci\u00f3n heterog\u00e9nea en Maude<\/a>
\nAutor:<\/b> Adri\u00e1n Riesco Rodr\u00edguez
\nDirectores:<\/b> Alberto Verdejo L\u00f3pez y Narciso Mart\u00ed Oliet
\nFacultad:<\/b> Facultad de Inform\u00e1tica (Universidad Complutense de Madrid)
\nFecha:<\/b> Julio 2011
\nCalificaci\u00f3n:<\/b> Sobresaliente cum Laude<\/p>\n

T\u00edtulo:<\/b> El indeterminismo en programaci\u00f3n: un enfoque basado en reescritura<\/a>
\nAutor:<\/b> Juan Rodr\u00edguez Hortal\u00e1
\nDirectores:<\/b> Francisco J. L\u00f3pez Fraguas y Jaime S\u00e1nchez Hern\u00e1ndez
\nFacultad:<\/b> Facultad de Inform\u00e1tica (Universidad Complutense de Madrid)
\nFecha:<\/b> Junio 2010
\nCalificaci\u00f3n:<\/b> Sobresaliente cum Laude<\/p>\n

T\u00edtulo:<\/b> Algoritmos heur\u00edsticos y aplicaciones a m\u00e9todos formales<\/a>
\nAutor:<\/b> Pablo Rabanal Basalo
\nDirectores:<\/b> Ismael Rodr\u00edguez Laguna y Fernando Rubio Diez
\nFacultad:<\/b> Facultad de Inform\u00e1tica (Universidad Complutense de Madrid)
\nFecha:<\/b> Mayo 2010
\nCalificaci\u00f3n:<\/b> Sobresaliente cum Laude<\/p>\n

T\u00edtulo:<\/b> An\u00e1lisis de caracter\u00edsticas en el modelo BST<\/a>
\nAutor:<\/b> Jos\u00e9 Ram\u00f3n S\u00e1nchez Couso
\nDirector:<\/b> Mar\u00eda In\u00e9s Fern\u00e1ndez Camacho
\nFacultad:<\/b> Facultad de Ciencias Matem\u00e1ticas (Universidad Complutense de Madrid)
\nFecha:<\/b> Abril 2009
\nCalificaci\u00f3n:<\/b> Sobresaliente cum Laude<\/p>\n

T\u00edtulo:<\/b> An executable formal semantics for OCL with Applications to Formal Analysis and Validation<\/a>
\nAutor:<\/b> Marina Soledad Egea Gonz\u00e1lez
\nDirector:<\/b> Manuel Garc\u00eda Clavel
\nFacultad:<\/b> Facultad de Inform\u00e1tica (Universidad Complutense de Madrid)
\nFecha:<\/b> Noviembre 2008
\nCalificaci\u00f3n:<\/b> Sobresaliente cum Laude<\/p>\n

T\u00edtulo:<\/b> Formalizando el proceso de depuraci\u00f3n en programaci\u00f3n funcional paralela y perezosa<\/a>
\nAutor:<\/b> Alberto de la Encina Vara
\nDirector:<\/b> Luis Fernando Llana D\u00edaz y Fernando Rubio Diez
\nFacultad:<\/b> Facultad de Inform\u00e1tica (Universidad Complutense de Madrid)
\nFecha:<\/b> Junio 2008
\nCalificaci\u00f3n:<\/b> Sobresaliente cum Laude<\/p>\n

T\u00edtulo:<\/b> Redes de Petri m\u00f3viles para la especi\ufb01caci\u00f3n y verificaci\u00f3n de propiedades de seguridad en sistemas ubicuos<\/a>
\nAutor:<\/b> Fernando Rosa Velardo
\nDirector:<\/b> David de Frutos Escrig
\nFacultad:<\/b> Ciencias Matem\u00e1ticas (Universidad Complutense de Madrid)
\nFecha:<\/b> Noviembre 2007
\nCalificaci\u00f3n:<\/b> Sobresaliente cum Laude<\/p>\n

T\u00edtulo:<\/b> Reflexi\u00f3n, abstracci\u00f3n y simulaci\u00f3n en la l\u00f3gica de reescritura<\/a>
\nAutor:<\/b> Miguel Palomino Tarjuelo
\nDirector:<\/b> Narciso Mart\u00ed Oliet y Jos\u00e9 Meseguer
\nFacultad:<\/b> Ciencias Matem\u00e1ticas (Universidad Complutense de Madrid)
\nFecha:<\/b> Marzo 2005
\nCalificaci\u00f3n:<\/b> Sobresaliente cum Laude<\/p>\n

T\u00edtulo:<\/b> Sem\u00e1nticas formales para un lenguaje funcional paralelo<\/a>
\nAutor:<\/b> Mercedes Hidalgo Herrero
\nDirector:<\/b> Yolanda Ortega Mall\u00e9n
\nFacultad:<\/b> Ciencias Matem\u00e1ticas (Universidad Complutense de Madrid)
\nFecha:<\/b> Junio 2004
\nCalificaci\u00f3n:<\/b> Sobresaliente cum Laude<\/p>\n

T\u00edtulo:<\/b> T\u00e9cnicas de especificaci\u00f3n formal de sistemas orientados a objetos basadas en l\u00f3gica de reescritura<\/a>
\nAutor:<\/b> Isabel Pita Andreu
\nDirector:<\/b> Narciso Mart\u00ed Oliet
\nFacultad:<\/b> Ciencias Matem\u00e1ticas (Universidad Complutense de Madrid)
\nFecha:<\/b> Marzo 2003
\nCalificaci\u00f3n:<\/b> Sobresaliente cum Laude<\/p>\n

T\u00edtulo:<\/b> Maude como marco sem\u00e1ntico ejecutable<\/a>
\nAutor:<\/b> Jos\u00e9 Alberto Verdejo L\u00f3pez
\nDirector:<\/b> Narciso Mart\u00ed Oliet
\nFacultad:<\/b> Inform\u00e1tica (Universidad Complutense de Madrid)
\nFecha:<\/b> Marzo 2003
\nCalificaci\u00f3n:<\/b> Sobresaliente cum Laude<\/p>\n","protected":false},"excerpt":{"rendered":"

Tesis doctorales T\u00edtulo: Aplicaci\u00f3n de t\u00e9cnicas de complejidad computacional en el \u00e1mbito de la pol\u00edtica Autor: Aitor Godoy Fresneda Directores: Ismael Rodr\u00edguez Laguna y Fernando Rubio Diez Facultad: Facultad de Inform\u00e1tica (Universidad Complutense de Madrid) Fecha: Enero 2026 Calificaci\u00f3n: Sobresaliente cum Laude T\u00edtulo: Conditional narrowing modulo membership equational logic theories with SMT solvers Autor: Luis … <\/p>\n

Continuar leyendo \u00abDoctorado\u00bb<\/span><\/a><\/p>\n","protected":false},"author":1,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"footnotes":""},"class_list":["post-13","page","type-page","status-publish","hentry"],"_links":{"self":[{"href":"https:\/\/maude.ucm.es\/fadoss\/wp-json\/wp\/v2\/pages\/13","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/maude.ucm.es\/fadoss\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/maude.ucm.es\/fadoss\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/maude.ucm.es\/fadoss\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/maude.ucm.es\/fadoss\/wp-json\/wp\/v2\/comments?post=13"}],"version-history":[{"count":14,"href":"https:\/\/maude.ucm.es\/fadoss\/wp-json\/wp\/v2\/pages\/13\/revisions"}],"predecessor-version":[{"id":243,"href":"https:\/\/maude.ucm.es\/fadoss\/wp-json\/wp\/v2\/pages\/13\/revisions\/243"}],"wp:attachment":[{"href":"https:\/\/maude.ucm.es\/fadoss\/wp-json\/wp\/v2\/media?parent=13"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}