Observatorio de I+D+i UPM
• ESPAÑOL
• ENGLISH
INVESTIGADORES
ESTRUCTURAS DE I+D+I
ACTIVIDAD INVESTIGADORA
INNOVACIÓN
Investigador
Pablo Nogueira Iglesias
Categoría Investigador
L.D. PRF.AYUD.DOCTOR
Sexo:
V
Escuela UPM
E.T.S. DE INGENIEROS INFORMÁTICOS
Departamento:
LENGUAJES Y SISTEMAS INFORMÁTICOS E INGENIERÍA DE SOFTWARE (N)
Area Conocimiento
LENGUAJES Y SISTEMAS INFORMATICOS
Grupo de Investigación:
Sin grupo de investigación
Email (Directorio UPM)
pablo.nogueira
upm.es
Investigador no vigente en la UPM
Datos de Memorias relacionados
Proyectos de I+D+i y generación de recursos
14 Proyectos de I+D+i
1: (2008)
DESAFIOS: Desarrollo de Software de Alta Calidad, Fiable y Seguro
2: (2008)
European Master Course in Computational Logic
3: (2008)
PROMESAS-CM: Programa en métodos para el desarrollo de software fiable de alta calidad y seguro de la Comunidad de Madrid.
4: (2009)
DESARROLLO DE SOFTWARE DE ALTA CALIDAD, FIABLE, DISTRIBUIDO Y SEGURO
5: (2010)
DESARROLLO DE SOFTWARE DE ALTA CALIDAD, FIABLE, DISTRIBUIDO Y SEGURO
6: (2010)
PROGRAMA DE M¿TODOS RIGUROSOS DE DESARROLLO DE SOFTWARE DE LA COMUNIDAD DE MADRID
7: (2011)
DESARROLLO DE SOFTWARE DE ALTA CALIDAD, FIABLE, DISTRIBUIDO Y SEGURO
8: (2011)
PROMETIDOS-CM: PROGRAMA DE METODOS RIGUROSOS DE DESARROLLO DE SOFTWARE. PARTE UPM BABEL
9: (2012)
Desarrollo de Software de Alta Calidad, Fiable, Distribuido y Seguro (DESAFIOS10)
10: (2012)
Programa en Métodos Rigurosos de Desarrollo de Software de la Comunidad de Madrid (PROMETIDOS-CM)
11: (2013)
PROGRAMMING LARGE SCALE HETEROGENEOUS INFRAESTRUCTURES POLCA
12: (2013)
StrongSoft: Secure Technologies for Reliable Open New Generation Software
13: (2015)
StrongSoftBabel: Tecnologías rigurosas para software de nueva generación abierto y fiable
14: (2017)
PROGRAMMING LARGE SCALE HETEROGENEOUS INFRAESTRUCTURES POLCA
Formación de Investigadores y Movilidad
1 Tesis Doctorales
1: (2014)
OPERATIONAL ASPECTS OF FULL REDUCTION IN LAMBDA CALCULI
Difusión de Resultados de Investigación
5 Artículos en revistas
1: (2010)
First-order Unification Using Variable-free Relational Algebra
2: (2011)
First-order unification using variable-free relational algebra *
3: (2014)
On the syntactic and functional correspondence between hybrid (or layered) normalisers and abstract machines
4: (2014)
On the syntactic and functional correspondence between hybrid (or layered) normalisers and abstract machines
5: (2014)
Selected papers from Mathematics of Program Construction 2012 Preface
1 Conferencias invitadas en congresos
1: (2010)
Programación Genérica Funcional
1 Libros
1: (2012)
Mathematics of Program Construction 11th International Conference, MPC 2012
8 Ponencia en Congresos
1: (2008)
Bialgebra Views A Way for Polytypic Programming to Cohabit with Data Abstraction.
2: (2008)
First-order Unification Using Variable-free Relational Algebra
3: (2012)
Enfoque normal y enfoque spine para reducción en el cálculo lambda puro
4: (2013)
A Syntactic and Functional Correspondence between Reduction Semantics and Reduction-Free Full Normalisers
5: (2013)
A Syntactic and Functional Correspondence between Reduction Semantics and Reduction-Free Full Normalisers
6: (2013)
Deriving the Full-Reducing Krivine Machine from the Small-Step Operational Semantics of Normal Order
7: (2013)
Deriving the Full-reducing Krivine Machine from the Small-step Operational Semantics of Normal Order
8: (2014)
Deriving Interpretations of the Gradually-Typed Lambda Calculus
• TOMA DE DATOS DE MEMORIAS Y CV
• UPM.ES
S2i 2021 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)
