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.


Permanent members PhD Students Associated Members Past members