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 2023-2024 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.