RAPT

Applying Recent Advances in Proof Theory to Specification and Reasoning

The RAPT project is an INRIA Associated Team (Équipe Associée) between:

• Parsifal at INRIA Saclay and the Laboratoire d’Informatique (LIX) at the École Polytechnique, Palaiseau, France

• The School of Computer Science at McGill University, Montreal, Canada

• The Departhemt of Computer Science at Carnegie Mellon University, Pittsburgh, USA.

RAPT has been funded from 2011—2014.

Principals

• Kaustuv Chaudhuri, INRIA, coordinator
• Dale Miller, INRIA
• Brigitte Pientka, McGill
• Frank Pfenning, CMU

See also

• Internship program during Summer 2011
• The RAPT Project on INRIA GForge