Roberto M. Amadio, Professor, UFR Informatique, Univ. Paris Diderot.

Office 4020, building Sophie Germain.

Surface mail: Université Paris Diderot, UFR d'Informatique (Case 7024), 75205 PARIS Cedex 13.

Email: roberto.amadio@univ-paris-diderot.fr. Tel. +33 1 57 27 92 47.

Some courses to be found on MOODLE (a University account may be required, some lecture notes can also be found on HAL):

Initiation à la programmation et au calcul numérique (en Python), Classes Préparatoires Universitaires,

Initiation à la programmation (en C), Classes Préparatoires Universitaires,

Outils Logiques, Licence Informatique,

Sécurité Informatique, Licence Informatique,

Algorithmique, École d'Ingénieurs Universitaire,

Algorithmique et projet de programmation (en C), Master Mathématiques,

Sémantique des langages de programmation, Master Informatique,

Some papers as referenced by DBLP and a book on Domains and lambda calculi.