Roberto M. Amadio, Professeur des universités, UFR d'Informatique, Université Paris Cité. Bureau 4020, Sophie Germain (PRG). Courrier : Université Paris Cité, UFR d'Informatique (Case 7024), 75205 PARIS Cedex 13. Mél: amadio@irif.fr. Cours 2022-2023 disponibles sur MOODLE (un compte et/ou un mot de passe peuvent être nécessaires, certaines notes de cours sont aussi disponibles sur 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 et Mathématiques-Informatique, première année. Deux cours enseignés dans le passé Outils Logiques, Licence d'Informatique, Sémantique des langages de programmation, Master Informatique. Informations sur la Spécialité Systèmes Informatiques Embarqués de l'EIDD. Articles référencés par DBLP et un livre sur Domains and lambda calculi.