/**[[https://www.irif.fr/users/amadio/index?image=users%3Aamadio%3Agrande.jpg&ns=users%3Aamadio&tab_details=view&do=media]] **/

**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 disponibles sur [[https://moodle.u-paris.fr/|MOODLE]] (un compte u-paris est  nécessaire) ;
certaines notes de cours sont aussi disponibles sur [[https://hal.archives-ouvertes.fr/search/index/?q=Amadio&submit=&docType_s%5B%5D=LECTURE&submitType_s%5B%5D=file|HAL]].

/**Cours 2023-2024** disponibles sur [[https://moodle.u-paris.fr/|MOODLE]] (un compte et/ou un mot de passe peuvent être nécessaires,
certaines notes de cours sont aussi disponibles sur [[https://hal.archives-ouvertes.fr/search/index/?q=Amadio&submit=&docType_s%5B%5D=LECTURE&submitType_s%5B%5D=file|HAL]]):
  * [[https://moodle.u-paris.fr/enrol/index.php?id=2513|Informatique 1, Classes Préparatoires Universitaires aux Grandes Écoles, première année]],
  * [[https://moodle.u-paris.fr/course/view.php?id=15823|Cryptographie, Licence d'Informatique et double Licence Mathématiques-Informatique, troisième année]],
  * [[https://moodle.u-paris.fr/enrol/index.php?id=908|Algorithmique, École d'Ingénieurs Universitaire (EIDD), première année]],
  * [[https://moodle.u-paris.fr/enrol/index.php?id=867|Informatique fondamentale, École d'Ingénieurs Universitaire (EIDD), deuxième année]],
  * [[https://moodle.u-paris.fr/course/view.php?id=10729|Algorithmique avancée et complexité, Master Informatique et Mathématiques-Informatique, première année]].

**Deux cours enseignés dans le passé** 
   * [[https://hal.archives-ouvertes.fr/cel-00163821|Outils Logiques, Licence d'Informatique]],
   * [[https://hal.archives-ouvertes.fr/cel-01422101|Sémantique des langages de programmation, Master Informatique]]. **/

/**Articles** référencés par [[http://dblp.uni-trier.de/pers/hd/a/Amadio:Roberto_M=| DBLP]] 
et un **livre** sur [[http://www.cambridge.org/gb/academic/subjects/computer-science/programming-languages-and-applied-logic/domains-and-lambda-calculi?format=PB|Domains and lambda calculi]].**/