Comunidad CONICET
Investigador asistente
Especialidad
Lenguajes de programación, cálculo lambda, reescritura
Disciplina Científica
Informática y Comunicaciones
Tema
Estrategias de evaluación en semántica de lenguajes de programación y conexiones con la lógica
Lugar de Trabajo
DEPARTAMENTO DE CIENCIA Y TECNOLOGIA
Depende de
- UNIVERSIDAD NACIONAL DE QUILMES
Ver más información
Ver menos información
| Dirección: |
| ROQUE SAENZ PEÑA 352, 1876 - Bernal - Buenos Aires - Argentina |
Resumen
Información suministrada por el agente en
SIGEVA
Mis temas de investigación se vinculan con el diseño, la especificación y la implementación de lenguajes de programación, con una inclinación teórica hacia las áreas de semántica formal, cálculo-lambda, lógica, reescritura y teoría de tipos.Mi tesis de doctorado se centró en cálculos con sustituciones explícitas, analizando máquinas abstractas para determinar la complejidad de implementación de estrategias de evaluación, el diseño de una variante de la estrategia de evaluación call-by-need (laz...
Mis temas de investigación se vinculan con el diseño, la especificación y la implementación de lenguajes de programación, con una inclinación teórica hacia las áreas de semántica formal, cálculo-lambda, lógica, reescritura y teoría de tipos.Mi tesis de doctorado se centró en cálculos con sustituciones explícitas, analizando máquinas abstractas para determinar la complejidad de implementación de estrategias de evaluación, el diseño de una variante de la estrategia de evaluación call-by-need (lazy) para evaluación fuerte y la formulación de una variante etiquetada del cálculo de sustituciones lineales.Dos líneas de investigación a las que me aboqué después de mis estudios doctorales son el estudio de lenguajes de programación para lógica clásica y los sistemas de tipos cuantitativos (basados en intersección no idempotente).Tengo antecedentes prácticos en el diseño y el desarrollo de intérpretes y compiladores de lenguajes de programación, y cierta experiencia en el uso de asistentes de demostración basados en teoría de tipos (Coq, Agda).
Ver más
Ver menos
Líneas de Investigación
Semántica de lenguajes de programación
Ciencias naturales y exactas
- Ciencias de la computación e información
- Otras ciencias de la computación e información
Palabras Clave
lenguajes de programaciónsemánticacálculo lambdareescrituralógicateoría de tiposprogramming languagessemanticslambda calculusrewritinglogictype theory
Formación Académica
2013 - 2020
Doctor en Ciencias de la Computación
FACULTAD DE CIENCIAS EXACTAS Y NATURALES, UNIVERSIDAD DE BUENOS AIRES
2003 - 2010
Lic. en Ciencias de la Computación
FACULTAD DE CIENCIAS EXACTAS Y NATURALES, UNIVERSIDAD DE BUENOS AIRES
Dirigido por:
MELGRATTI, HERNAN CLAUDIO
Carrera Investigador
MELGRATTI, Hernan Claudio
Carrera Investigador
Cargando sección
Producción CyT...
Cargando sección
Oferta Tecnológica...
Contacto