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: Tel. +33 1 57 27 92 47.

Ongoing courses to be found on MOODLE (a University account is required):

Initiation à la programmation (en C),

Algorithmique et projet de programmation,

Sémantique des langages de programmation,


Some lecture notes can also be found on HAL.

Some papers as referenced by DBLP.

A book on Domains and lambda calculi.