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

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

• Informatique
• Outils Logiques
• Cryptographie
• Algorithmique
• Informatique fondamentale

Two courses of previous years

• Algorithmique et projet de programmation (en C), Master Mathématiques,
• Sémantique des langages de programmation, Master Informatique.

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.