Ralf Treinen

on strike

Professor

Université Paris Diderot
UFR d'Informatique
Institut de Recherche en Informatique Fondamentale (IRIF)
email: replace-by-my-lastname@irif.fr

Office location 1: Office location 2: Postal address:
Office 3021 Office 108 IRIF
3rd floor, IRIF 1st floor, IRILL Université Paris Diderot - Paris 7
Building Sophie Germain Building 15-16 Case 7014
8, place Aurélie Nemours 4, place Jussieu 75205 PARIS Cedex 13
Paris XIII Campus de Jussieu, Paris V FRANCE
tel: (+33) 1 57 27 92 44
Map Map

Teaching

Join our Mooc Introduction to functional programming in OCaml. Start: September 22, 2019.

Le parcours Langages et Programmation du master pro Informatique.
Grammaires et Analyse Syntaxique, 3rd year (niveau L3).
Programmation Fonctionnelle Avancée, 4th year (niveau M1).
IP1 - Initiation à la Programmation en Python, 1st year (niveau L1)
AAL3 - Automates et Analyse Lexicale (exercices), 2nd year (niveau L2)
Programmation Logique et par Contraintes avancée, 5th year (niveau M2).
Complete list including earlier years

Research Interests

Formal aspects of component-based software
Efficient processing of symbolic constraints.
Predicate-logic theories of concrete data structures, in particular tree constraint systems.

Publications

Current Projects

CoLiS: Correctness of Linux Scripts

Past Projects

Aeolus (national ANR project)
: Managing the Complexity of the Open Source Infrastructure (European Union FP7)
Prouvé: Protocoles cryptographiques: Outils de Vérification automatique (RNTL, French national project)
Edos: Environment for the development and Distribution of Open Source software (European Union FP6)
CCL2: Construction of Computational Logics (European Union Esprit working group)
CCL: Constraints in Computational Logics (European Union Esprit working group)

Collaborators

PhD Students

Nicolas Jeannerod (PhD thesis defended March 30, 2021)
Antoine Mercier (PhD thesis defended December 4, 2009)
Pascal Lafourcade (PhD thesis defended September 25, 2006)

Coauthors of publications

Pietro Abate, Alexis Agahi, Alexander Aiken, Cyrille Artho, Rolf Backofen, Jaap Boender, Adrien Boiret, Hubert Comon, Roberto Di Cosmo, Stéphanie Delaune, Nachum Dershowitz, Berke Durak, Antoine Eiche, Louis Gesbert, Vincent Hugot, Florent Jacquemard, Nicolas Jeannerod, Jean-Pierre Jouannaud, Jana Koehler, Alexander Koller, Steve Kremer, Pascal Lafourcade, Fabrice Le Fessant, Xavier Leroy, Michaël Lienhardt, Étienne Lozes, Denis Lugiez, Fabio Mancinelli, Claude Marché, Antoine Mercier, Mario Morgado, Martin Müller, Joachim Niehren, David Pinheiro, Andreas Podelski, Tim Priesnitz, Yann Régis-Gianas, Franck Seynhaeve, Gert Smolka, Zhendong Su, Kuniyasu Suzaki, Marc Tommasi, Sophie Tison, Paulo Trezentos, Jules Villard, Jérôme Vouillon, Stefano Zacchiroli, Jakub Zwolakowski.

Program Committees

PC member of the 33th International Workshop in Unification (UNIF 2019)

Past Steering, Program, and Organisation Committees

International Conferences

International Conference on Rewriting Techniques and Application (RTA):
- Steering Committee member 2003 - 2006,
- 2009, Brasília (Brazil): PC chair
- 2008, Hagenberg (Austria): PC member
- 2007, Paris (France): PC member
- 2004, Aachen (Germany): PC member
- 2002, Copenhagen (Denmark): PC member
- 1998, Tsukuba (Japan): PC member
Federated Conference on Rewriting, Deduction, and Programming (RDP): Member of the organisation committee 2007, Paris (France).
PC member of the 16th International Symposium on Principles and Practice of Declarative Programming (PPDP 2014), September 8-10, 2014, Cambridge, UK.
International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR):
- 2007, Yerevan (Armenia): PC member
- 2005, Montevideo (Uruguay): PC member
PC member of the Second International Joint Conference on Automated Reasoning (IJCAR 2004), July 04-08, 2004, Cork, Ireland.
PC member of the Fourth International Conference on Principles and Practice of Constraint Programming (CP'98). October 26 - 30, Pisa, Italy.

Workshops, Summer Schools, ...

International Workshop on Logics for Component Configuration (LoCoCo):
- LoCoCo 2011, Perugia, Italy, September 12, 2011
- LoCoCo 2010, Edinburgh, Scotland, July 10, 2010
International Workshop on Unification (UNIF):
- 2014, Vienna (Austria): PC member
- 2011, Wroclaw (Poland): PC member
- Steering committee member, 2008-2009
- 2004, Cork (Ireland): PC member
- 2002, Copenhagen (Denmark): PC member
- 2001 Siena (Italy): PC member
International Workshop on Security and Rewriting Techniques (SecReT):
- Steering Committee member, 2007-2010
- 2008, Pittsburgh (USA): PC member
- 2007, Paris (France): PC co-chair
International Workshop on Foundations and Techniques for Open Source Software Certification (OpenCert):
- Milan, Italy, 10 September 2008 (joint with the International Workshop on Foundations and Techniques bringing together Free/Libre Open Source Software and Formal Methods (FLOSS-FM 2008)): PC member
- York, England, 28 March 2009 (@ETAPS 2009) : PC member
- Pisa, Italy, on 17-18 September 2010 (@SEFM 2010): PC member
- Montevideo, Uruguay, 14-15 November 2011 (@SEFM 2011): PC member
- Madrid, Spain, 23 September 2013 (@SEFM 2013): PC member
- Grenoble, France, 1 September 2014
PC member of the International Workshop on Open Component Ecosystems (IWOCE 2009), 24 August 2009 - Amsterdam, The Netherlands.
Scientific Committee of the Spring School on Security, Marseilles, France, April 25--29, 2005.
OC member of the Workshop on Constraints in Computational Logics (CCL'99), September 9-10, 1999, Gif-sur-Yvette, France.

Community Activities

Memberships in CS societies

Other Links

HLins: insertion of http-links into LaTeX documents.
My home page at Debian