Livres de référence Benjamin C. Pierce, Types and Programming Languages, MIT Press, 645 pages, Jan 2002. Jean-Yves Girard, Yves Lafont, Paul Taylor, Proofs and Types, Cambridge University Press, 183 pages, 1989. disponible en pdf Robert Harper, Practical Foundations for Programming Languages, Cambridge University Press, 592 pages, 2013. Disponible en ligne : disponible en pdf Niel Jones, Computability and Complexity, MIT Press, 466 pages, Jan 1997. John Mitchell, Concepts in Programming (...)
Pierre Boudes
Bienvenue sur ma page web professionnelle. Je m’appelle Pierre Boudes. Titulaire d’un doctorat de mathématiques obtenu en 2002, je suis maître de conférences en informatique à l’université Paris 13, depuis septembre 2005.
Plus précisément, je suis :
– chercheur en théorie de la démonstration et de la programmation au laboratoire d’informatique de Paris nord (LIPN), UMR CNRS 7030.
– enseignant (et parfois semi-administratif) à l’institut Galilée.
Habituellement, je réponds dans la journée ou le lendemain aux courriels adressés à : boudes@univ-paris13.fr. Vous pouvez également me contacter par d’autres moyens.
J’ai réduit ma présence sur le Fediverse à deux comptes Mastodon :
– professionnel
– personnel.