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: amadio@irif.fr. 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): Informatique 1, Classes Préparatoires Universitaires aux Grandes Écoles, première 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 Algorithmique avancée et complexité, Master Informatique, première année Some lecture notes of courses taught in previous years Outils Logiques, Licence d'Informatique 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.