French-Argentinean IRP SINFIN

SINFIN is a French-Argentinean IRP (International Research Project) devoted to research in Computer Science. Specific focus is placed on formal methods, for modeling, verification and development of complex software artifacts. The institutions involved are:

• CNRS
• IRIF@Université Paris-Diderot
• LMF@Université Paris Saclay
• CONICET
• ICC@Universidad de Buenos Aires
• FAMAF@Universidad de Córdoba
• Universidad Nacional de Quilmes

Logics and Dynamics of Programming Languages Team

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

Members

In France

• Beniamino Accattoli (Permanent)
• Antonio Bucciarelli (Permanent, local lead)
• Alejandro Díaz-Caro (Non permanent)
• Gilles Dowek (Permanent)
• Delia Kesner (Permanent)
• Antoine Lanco (PhD student)
• Mariana Milicich (PhD student)
• Simon Perdrix (Permanent)
• Benoît Valiron (Permanent)

In Argentina

• Pablo Barenbaum (Permanent, local lead)
• Malena Ivnisky (PhD student)
• Alejandro Ríos (Permanent)
• Rafael Romero (PhD student)
• Mallku Soldevila (Posdoc)
• Cristian Sottile (PhD student)

Associated members

• Pablo Arrighi (France)
• Mauricio Ayala Rincón (Brazil)
• Eduardo Bonelli (US)
• Flávio L. C. de Moura (Brazil)
• Damiano Mazza (France)
• Daniel Ventura (Brazil)
• Andrés Viso (France)
• Beta Ziliani (Uruguay)