Observatorio de I+D+i UPM
• ESPAÑOL
• ENGLISH
RESEARCHERS
RDI STRUCTURES
RESEARCH ACTIVITIES
INNOVATION
Investigador
Alvaro Garcia Perez
Researcher Category
CONTRATADO DE INVESTIGACION (OTROS)
UPM Centre
E.T.S. DE INGENIEROS INFORMÁTICOS
Department:
LENGUAJES Y SISTEMAS INFORMATICOS E INGENIERIA DE SOFTWARE
Knowledge Area
SIN AREA DE CONOCIMIENTO
Research Group:
BABEL: Desarrollo de Software Fiable y de Alta Calidad a partir de Tecnología Declarativa
Research Reports
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
2 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
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 2019 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)
