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.

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

Past Steering, Program, and Organisation Committees

International Conferences

Workshops, Summer Schools, ...

Community Activities

Memberships in CS societies

Other Links


Valid HTML 4.01 Transitional