French-Argentinean international laboratory SINFIN

SINFIN is a French-Argentinean Laboratory (Laboratoire Internationale Associé) 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
• LRI@Université Paris-Sud
• CONICET
• ICC@Universidad de Buenos Aires
• FAMAF@Universidad de Córdoba

Validation and Verification of Concurrent Distributed Systems Team

Our research team focuses on the formal analysis of complex software systems. We are interested in giving formal semantics to several aspects of modern programming languages, with an emphasis in concurrency and distribution. We aimed at contributing to the development of solid techniques to reason about applications. In particular, we look for novel approaches for (i) validating and verifying of concurrent and distributed systems; (ii) ensuring the correct implementation of interaction protocols; (iii) reasoning about complex data structures and consistency in the presence of replication; (iv) studying how to efficiently implement programming language execution environments.

Members

In France

• Constantin Enea (Permanent, local lead)
• Giovanni Bernardi (Permanent)
• Peter Habermehl (Permanent)
• Eugene Asarin (Permanent)
• Matias Martinez (Permanent)

In Argentina

• Hernán Melgratti (Permanent, local lead)
• Diego Garbervetsky (Permanent)
• Juan Pablo Galeotti (Permanent)
• Víctor Braberman (Permanent)
• Iván Arcuschin (PhD student)
• Christian Roldán (PhD student)