Roberto M. Amadio,
Professor, UFR d'Informatique, Université Paris Cité. Office 4020, building Sophie Germain (PRG).
Surface mail: Université Paris Cité, UFR d'Informatique (Case 7024), 75205 PARIS Cedex 13.
Email: Tel. +33 1 57 27 92 47.

Courses 2022-2023 to be found on MOODLE (a University account and a password may be required, some lecture notes can also be found on HAL):

Some lecture notes of courses taught in previous years

Informations on Spécialité Systèmes Informatiques Embarqués de l'EIDD.

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