Observatorio de I+D+i UPM
• ESPAÑOL
• ENGLISH
INVESTIGADORES
ESTRUCTURAS DE I+D+I
ACTIVIDAD INVESTIGADORA
INNOVACIÓN
Investigador
Damiano Zanardini
Categoría Investigador
TITULAR UNIVERSIDAD
Cargos actuales
SUBDIRECTOR DE DEPARTAMENTO.
Escuela UPM
E.T.S. DE INGENIEROS INFORMÁTICOS
Departamento:
INTELIGENCIA ARTIFICIAL
Centros/Institutos I+D+i
C.TECNOLÓGICO EN INTELIGENCIA ARTIFICIAL
Area Conocimiento
CC. DE COMPUTACION E INTELIGENCIA ARTIFICIAL
Grupo de Investigación:
BABEL: Desarrollo de Software Fiable y de Alta Calidad a partir de Tecnología Declarativa
Email (Directorio UPM)
damiano.zanardini
upm.es
Web personal (Directorio UPM)
http://costa.fdi.ucm.es/~damiano/
Teléfono (Directorio UPM)
910672909
Datos de Memorias relacionados
Proyectos de I+D+i y generación de recursos
21 Proyectos de I+D+i
1: (2009)
CONTRACT. N. 015905 - MOBIUS MOBILITY UBIQUITY AND SECURITY
2: (2009)
COORDINATED ACTIVIES IN RESOURCE ANALYSIS
3: (2009)
DESARROLLO DE SOFTWARE VERIFICABLE Y EFICIENTE
4: (2009)
HIGHL Y ADAPTABLE AND TRUSTWORTHY SOFTWARE USING FORMAL MODELS
5: (2009)
PROGRAMA EN METODOS PARA EL DESARROLLO DE SOFTWARE FIABLE, DE ALTA CALIDAD Y SEGURO DE LA COMUN. DE MADRID
6: (2010)
CONTRACT 231620
7: (2010)
DESARROLLO DE SOFTWARE VERIFICABLE Y EFICIENTE
8: (2010)
PROMETIDOS-CM: PROGRAMA DE METODOS RIGUROSOS DE DESARROLLO DE SOFTWARE- PARTE UPM-CLIP
9: (2011)
DESARROLLO DE SOFTWARE VERIFICABLE Y EFICIENTE
10: (2011)
HATS: Highly Adaptable and Trustworthy Software using Formal Models
11: (2011)
Resolución de Relaciones de Coste utilizando Técnicas de Análisis de Programas
12: (2013)
DOVES (Development Of Verifiable and Efficient Software)
13: (2013)
PROMETIDOS: PROgrama de METodos rIgurosos de DesarrollO de Software de la Comunidad de Madrid
14: (2013)
ValIdación y Verificación de Aplicaciones Concurrentes (VIVAC)
15: (2014)
DESARROLLO DE SOFTWARE VERIFICABLE Y EFICIENTE
16: (2014)
PROMETIDOS-CM: PROGRAMA DE METODOS RIGUROSOS DE DESARROLLO DE SOFTWARE- PARTE UPM-CLIP
17: (2015)
DESARROLLO DE SISTEMAS CONFIABLES MEDIANTE MODELOS Y HERRAMIENTAS AVANZADAS (SICOMORO-CM)
18: (2015)
DESARROLLO DE SISTEMAS CONFIABLES MEDIANTE MODELOS Y HERRAMIENTAS AVANZADAS (SICOMORO-CM)
19: (2015)
VERA: Técnicas avanzadas de verificación de aplicaciones concurrentes
20: (2018)
Master EIT Digital 2018-DSc (Marta) : Master EIT Digital 2018-DSc (Marta)
21: (2019)
BLOQUES-CM: CONTRATOS INTELIGENTES Y BLOCKCHAINS ESCALABLES Y SEGUROS MEDIANTE VERIFICACION Y ANALISIS (BABEL-CLIP-UPM)
Difusión de Resultados de Investigación
11 Artículos en revistas
1: (2011)
Task-Level Analysis for a Language with async/finish Parallelism
2: (2012)
Cost Analysis of Object-Oriented Bytecode Programs
3: (2012)
Cost analysis of object-oriented bytecode programs
4: (2013)
Reachability-based acyclicity analysis by Abstract Interpretation
5: (2013)
Reachability-based acyclicity analysis by Abstract Interpretation
6: (2013)
Reachability-based acyclicity analysis by abstract interpretation (vol 474, pg 60, 2013)
7: (2016)
Resource-usage-aware configuration in software product lines
8: (2017)
Abstract Program Slicing: An Abstract Interpretation-Based Approach to Program Slicing
9: (2017)
Influencing over people with a social emotional model
10: (2018)
Field-sensitive sharing
11: (2018)
Field-sensitive sharing.
5 Ponencia en Congresos
1: (2009)
Termination and Cost Analysis with COSTA and its User Interfaces
2: (2017)
Aprendizaje experiencial en ciencia de datos: satisfacción de los estudiantes para tres modelos de enseñanza y aprendizaje
3: (2017)
Estimación del riesgo de no superar una asignatura de evaluación continua mediante aprendizaje automático
4: (2018)
Aprendizaje experiencial en ciencia de datos: satisfacción de los estudiantes para tres modelos de enseñanza y aprendizaje
5: (2018)
Creating and Improving Educational Materials: An Approach based on Crowdsourcing
• TOMA DE DATOS DE MEMORIAS Y CV
• UPM.ES
S2i 2023 Observatorio de investigación @ UPM con la colaboración del Consejo Social UPM
Cofinanciación del MINECO en el marco del Programa INNPACTO (IPT-020000-2010-22)
