1. CONICET
  2. CONICET Community
  3. PABLO BARENBAUM
CONICET Community
BARENBAUM, PABLO

Assistant researcher

Speciality
Lenguajes de programación, cálculo lambda, reescritura
Scientific discipline
Computer Science and Communications
Topic
Evaluation strategies in programming language semantics and their connections with logic
Workplace
DEPARTAMENTO DE CIENCIA Y TECNOLOGIA
Dependencies
  • UNIVERSIDAD NACIONAL DE QUILMES
Show more information Show less information
Address:
ROQUE SAENZ PEÑA 352, 1876 - Bernal - Buenos Aires - Argentina
Summary Information provided by the agent in 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).
Show more Show less
Lines of Investigation

Semántica de lenguajes de programación

Natural and exact sciences

  • Computer and information sciences
  • Other sciences computer and information sciences
Key Words
lenguajes de programaciónsemánticacálculo lambdareescrituralógicateoría de tiposprogramming languagessemanticslambda calculusrewritinglogictype theory
Education

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

HR Training
Directed by:
MELGRATTI, HERNAN CLAUDIO
Scientific Research Career at CONICET
MELGRATTI, Hernan Claudio Scientific Research Career at CONICET
Loading section Science and Technology Production...
Loading section Services...
Contact
Send Message