Laureano
Lambán Pardo
PROFESOR TITULAR DE UNIVERSIDAD
Tesis doctoral
Tesis dirigidas (3)
-
Effective computation of invariants of finite topological spaces 2021
Universidad de La Rioja
Cuevas Rozo, Julian L.
-
Especificación orientada a objetos de sistemas de cálculo simbólico 2003
Universidad de La Rioja
-
Objetos localmente efectivos y tipos abstractos de datos 2002
Universidad de La Rioja
Tribunales de tesis (9)
-
Vocal del tribunal
Modelo de acontecimientos para la persistencia 2017Universidad de Alcalá
ALLUÉ GIL, ALBERTO
-
Secretario del tribunal
Formalisation and execution of Linear Algebra: theorems and algorithms 2016Universidad de La Rioja
-
Vocal del tribunal
Aplicaciones de la racionalidad acotada al razonamiento cualitativo sobre sistemas complejos 2014Universidad de Sevilla
Galán Páez, Juan
-
Secretario del tribunal
Gestión mecanizada del conocimiento matemático en topología algebraica 2011Universidad de La Rioja
-
Secretario del tribunal
Coordinación de servicios Web: de las aplicaciones a los modelos formales 2009Universidad de La Rioja
-
Secretario del tribunal
Homología efectiva y sucesiones espectrales 2007Universidad de La Rioja
-
Secretario del tribunal
Razonamiento mecanizado en álgebra homológica 2006Universidad de La Rioja
-
Vocal del tribunal
Funciones de orden superior en programación funcional: una perspectiva categórica 2003Universidade da Coruña
FREIRE BRAÑAS JOSÉ ENRIQUE
-
Secretario del tribunal
Metamodelización y formalismos para la representación del comportamiento 2002Universidad de La Rioja