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

Office 3015, 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 40.

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,

Cryptographie.

Some lecture notes can also be found on HAL.

Some papers as referenced by DBLP.

A book on Domains and lambda calculi.