
MIGUEL
GÓMEZ-ZAMALLOA GIL
Profesor titular de universidad
Current projects
-
Agentes conversacionales basados en tecnología simbólica y neuronal para Entornos de aprendizaje interactivo
CARLOS LEÓN AZNAR, GONZALO RUBÉN MÉNDEZ POZO
-
Métodos formales escalables para aplicaciones en entornos reales
ELVIRA MARÍA ALBERT ALBIOL, ALBERTO RUBIO GIMENO
Completed projects
2023
-
FORmal models and Technologies for Emerging applications.
ELVIRA MARÍA ALBERT ALBIOL
2022
-
RAZONAMIENTO FORMAL PARA TECNOLOGIAS FACILITADORAS Y EMERGENTES
ELVIRA MARÍA ALBERT ALBIOL
2020
-
Soluciones Efectivas basadas en la Lógica
ELVIRA MARÍA ALBERT ALBIOL
2018
-
Desarrollo de SIstemas COnfiables mediante MOdelos y herRamientas avanzadas
ELVIRA MARÍA ALBERT ALBIOL
2017
-
Técnicas escalables para la validación de aplicaciones concurrentes
ELVIRA MARÍA ALBERT ALBIOL
2014
-
PROGRAMA DE METODOS RIGUROSOS DE DESARROLLO DE SOFWTARE DE LA COMUNIDAD DE MADRID.
FRANCISCO JAVIER LÓPEZ FRAGUAS
2011
-
RESOLUCION DE RELACIONES DE COSTE UTILIZANDO TECNICAS DE ANALISIS DE PROGRAMAS
ELVIRA MARÍA ALBERT ALBIOL