Ralf Treinen

Image Ralf Treinen Professor

Université Paris Diderot
UFR d'Informatique
Institut de Recherche en Informatique Fondamentale (IRIF)
Équipe Preuves, Programmes et Systèmes (PPS)

email: replace-by-my-lastname@pps.univ-paris-diderot.fr

Office location 1: Office location 2: Postal address:
Office 3021 Office 108 Équipe PPS
3rd floor, Équipe PPS 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 26, 2016.

MOOC Screenshot

Research Interests

Publications

Current Projects

Past Projects

Collaborators

PhD Students

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, 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, 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

Past Steering, Program, and Organisation Committees

International Conferences

Workshops, Summer Schools, ...

Community Activities

Memberships in CS societies

Other Links


Valid HTML 4.01 Transitional