Benjamin Leperchey

Would you rather read an english version of this page?

J'ai été pendant trois ans doctorant dans le laboratoire PPS, sous la direction d'Antonio Bucciarelli. Aujourd'hui, je passe quand même nettement plus de temps sur mon nouveau lieu de travail, qui n'a plus grand chose à voir avec la recherche en informatique (ni avec le recherche tout court, d'aileurs).

Coordonnées

Comme tous membre de PPS qui se respecte, on peut me joindre à l'adresse Prénom.Nom@pps.jussieu.fr.

Soutenance

Voyez cette page pour des informations et une version preliminaire du memoire.

Travaux de recherche

Je travaillais sur la sémantique des langages de programmation, et plus particulièrement des langages fonctionnels. J'ai travaillé sur la définissabilité relative, et sur les modèles du temps de calcul. Parmi les diverses choses que j'ai écrites, on trouve des publications:

Parmi les choses non publiées, les plus présentables sont: