Observatorio de I+D+i UPM
• ESPAÑOL
• ENGLISH
INVESTIGADORES
ESTRUCTURAS DE I+D+I
ACTIVIDAD INVESTIGADORA
INNOVACIÓN
Investigador
Alvaro Garcia Perez
Categoría Investigador
CONTRATADO DE INVESTIGACION (OTROS)
Escuela UPM
E.T.S. DE INGENIEROS INFORMÁTICOS
Departamento:
LENGUAJES Y SISTEMAS INFORMATICOS E INGENIERIA DE SOFTWARE (ANTIGUO)
Area Conocimiento
SIN AREA DE CONOCIMIENTO
Grupo de Investigación:
BABEL: Desarrollo de Software Fiable y de Alta Calidad a partir de Tecnología Declarativa
Datos de Memorias relacionados
Proyectos de I+D+i y generación de recursos
3 Proyectos de I+D+i
1: (2011)
DESARROLLO DE SOFTWARE DE ALTA CALIDAD, FIABLE, DISTRIBUIDO Y SEGURO
2: (2012)
Desarrollo de Software de Alta Calidad, Fiable, Distribuido y Seguro (DESAFIOS10)
3: (2012)
Programa en Métodos Rigurosos de Desarrollo de Software de la Comunidad de Madrid (PROMETIDOS-CM)
Formación de Investigadores y Movilidad
2 Estancias y sabáticos recogidos en programas oficiales
1: (2009)
Estancia en el Oxford University Computing Laboratory
2: (2011)
Estancia en el Basic Research In Computer Science (BRICS)
1 Tesis Doctorales
1: (2014)
OPERATIONAL ASPECTS OF FULL REDUCTION IN LAMBDA CALCULI
Difusión de Resultados de Investigación
4 Artículos en revistas
1: (2014)
On the syntactic and functional correspondence between hybrid (or layered) normalisers and abstract machines
2: (2014)
On the syntactic and functional correspondence between hybrid (or layered) normalisers and abstract machines
3: (2019)
Rule Formats for Nominal Process Calculi
4: (2019)
The full-reducing Krivine abstract machine KN simulates pure normal-order reduction in lockstep: A proof via corresponding calculus
8 Cursos, seminarios y tutoriales
1: (2009)
A Functional Approach to the Observer Pattern
2: (2009)
A Functional Correspondence between Parametric Evaluators and which Abstract Machines
3: (2009)
Evaluation of the lambda-calculus. Generic Evaluators
4: (2010)
El Cubo Beta
5: (2011)
Estrategias del cálculo lambda e interderivación de artefactos semánticos
6: (2011)
The Beta Cube
7: (2011)
The Beta Cube
8: (2011)
The Beta Cube (Poster)
1 Otras Publicaciones
1: (2009)
Exploring the beta-hypercube
6 Ponencia en Congresos
1: (2012)
Enfoque normal y enfoque spine para reducción en el cálculo lambda puro
2: (2013)
A Syntactic and Functional Correspondence between Reduction Semantics and Reduction-Free Full Normalisers
3: (2013)
A Syntactic and Functional Correspondence between Reduction Semantics and Reduction-Free Full Normalisers
4: (2013)
Deriving the Full-Reducing Krivine Machine from the Small-Step Operational Semantics of Normal Order
5: (2013)
Deriving the Full-reducing Krivine Machine from the Small-step Operational Semantics of Normal Order
6: (2014)
Deriving Interpretations of the Gradually-Typed Lambda Calculus
• 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)
