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 1, Classes Préparatoires Universitaires aux Grandes Écoles, première année, Outils Logiques, Licence d'Informatique, deuxième année, Cryptographie, Licence d'Informatique et double Licence Mathématiques-Informatique, troisième année, Algorithmique, École d'Ingénieurs Universitaire (EIDD), première année, Informatique fondamentale, École d'Ingénieurs Universitaire (EIDD), deuxième année. 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.