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 ongoing courses to be found on MOODLE (a University account is required, some lecture notes can also be found on HAL):

Initiation à la programmation (en C),

Outils Logiques,

Sécurité Informatique,

Algorithmique et projet de programmation,

Sémantique des langages de programmation,

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