French-Argentinean Laboratory INFINIS

INFINIS is a French-Argentinean Laboratory (Laboratoire Internationale Associé) between Centre National de la Recherche Scientifique (CNRS) and Université Paris-Diderot, on the one hand, and Consejo Nacional de Investigaciones Científicas y Técnicas (CONICET) and the Universidad de Buenos Aires, on the other. It is devoted to research in Computer Science. Specific focus is placed on formal methods, for modeling, verification and development of complex software artifacts.

Logics and Dynamics of Programming Languages Group

Research interests of our group are semantics of programming languages and proof theory. We investigate themes in rewriting, lambda calculus, type systems, etc.

Members

Permanent members

Thibaut Balabonski (France)
Eduardo Bonelli (Argentina)
Antonio Bucciarelli (France)
Alejandro Díaz-Caro (Argentina)
Delia Kesner (France)
Carlos Lombardi (Argentina)
Alejandro Ríos (Argentina)

PhD Students

Pablo Barenbaum (Argentina)
Pierre Vial (France)
Andrés Ezequiel Viso (Argentina)

Associated Members

Past members

Fabien Renaud (France)
Gabriela Steren (Argentina)