| Dec. 2023 June 2024 | "Logique Linéaire et paradigmes de calcul, MPRI M2, Université Paris Cité"; topics: Advanced lambda calculus; |
| Jan. 2024 June 2024 | "Transformation de programmes, M2, Université Paris Cité"; topics: Advanced compiling techniques; |
| Jan. 2024 June 2024 | "Initiation à la Programmation 2, Université Paris Cité"; topics: Programming languages (Java); |
| Sep. 2023 Jan. 2024 | "Protocoles Réseaux, M1, Université Paris Cité"; topics: Computer Networks; |
| Sep. 2023 Jan. 2024 | "Initiation à la Programmation 1, L1, Université Paris Cité"; topics: Introduction to programming languages; |
| Nov. 2022 Jan. 2023 | "Cours R102: Principe et architecture des Réseaux, BUT1 RT"; topics: Computer Networks, ISO-OSI, TCP-IP, corrector codes; |
| Sep. 2022 Nov. 2022 | "Cours R101: Initiation aux réseaux d'entreprise, BUT1 RT"; topics: Introduction to Computer Networks; |
| Sep. 2022 Nov. 2022 | "Cours R108: Bases des systèmes d'exploitation, BUT1 RT"; topics: Operating systems, Linux/Unix shell, scripts; |
| Nov. 2020 Jan. 2021 | "M1104: Principe et architecture des Réseaux, DUT1"; topics: Computer Networks, ISO-OSI, TCP-IP, corrector codes; |
| Sep. 2020 Dec. 2021 | "M1101: Initiation aux réseaux d'entreprise, DUT1"; topics: Introduction to Computer Networks; |
| Sep. 2020 Nov. 2021 | "M1105: Bases des systèmes d'exploitation, DUT1"; topics: Operating systems, Linux/Unix shell, scripts; |
| Jan. 2020 mars 2020 | "M2101: Les réseaux locaux et Ethernet, DUT1"; topics: Computer Networks, LAN, VLAN; |
| Nov. 2019 Jan. 2020 | "M1104: Principe et architecture des Réseaux, DUT1"; topics: Computer Networks, ISO-OSI, TCP-IP, corrector codes; |
| Oct 2019 Jan. 2020 | "Programmation, DUT1"; topics: An introduction to Python; |
| Sep. 2019 Dec. 2018 | "M1101: Initiation aux réseaux d'entreprise, DUT1"; topics: Introduction to Computer Networks; |
| Fev. 2019 Apr. 2019 | "M2101: Les réseaux locaux et Ethernet, DUT1"; topics: Computer Networks, LAN, VLAN; |
| Nov. 2018 Jan. 2019 | "M1104: Principe et architecture des Réseaux, DUT1"; topics: Computer Networks, ISO-OSI, TCP-IP, corrector codes; |
| Oct 2018 Jan. 2019 | "Programmation, DUT1"; topics: An introduction to Python; |
| Sep. 2020 Nov. 2021 | "M1105: Bases des systèmes d'exploitation, DUT1"; topics: Operating systems, Linux/Unix shell, scripts; |
| Sep. 2018 Dec. 2018 | "M1101: Initiation aux réseaux d'entreprise, DUT1"; topics: Introduction to Computer Networks; |
| Fev. 2018 Apr. 2018 | "M2101: Les réseaux locaux et Ethernet, DUT1"; topics: Computer Networks, LAN, VLAN; |
| Nov. 2017 Jan. 2018 | "M1104: Principe et architecture des Réseaux, DUT1"; topics: Computer Networks, ISO-OSI, TCP-IP, corrector codes; |
| Oct 2017 Jan. 2018 | "Programmation, DUT1"; topics: An introduction to Python; |
| Sep. 2017 Dec. 2017 | "M1101: Initiation aux réseaux d'entreprise, DUT1"; topics: Introduction to Computer Networks; |
| Jan. 2016 Apr. 2016 | "Programmation Fonctionnelle Avancée, M2"; topics: Ocaml, Type inference algorithms, module system, streams; |
| Fev. 2016 Apr. 2016 | "M2101: Les réseaux locaux et Ethernet, DUT1"; topics: Computer Networks, LAN, VLAN; |
| Sep. 2015 Dec. 2015 | "M1101: Initiation aux réseaux d'entreprise, DUT1"; topics: Introduction to Computer Networks; |
| Nov. 2015 Jan. 2016 | "M1104: Principe et architecture des Réseaux, DUT1"; topics: Computer Networks, ISO-OSI, TCP-IP, corrector codes; |
| Jan. 2015 Apr. 2015 | "Programmation Fonctionnelle Avancée, M2"; topics: Ocaml, Type inference algorithms, module system, streams; |
| Fev. 2015 Apr. 2015 | "M2101: Les réseaux locaux et Ethernet, DUT1"; topics: Computer Networks, LAN, VLAN; |
| Sep. 2014 Dec. 2014 | "M1101: Initiation aux réseaux d'entreprise, DUT1"; topics: Introduction to Computer Networks; |
| Nov. 2014 Jan. 2015 | "M1104: Principe et architecture des Réseaux, DUT1"; topics: Computer Networks, ISO-OSI, TCP-IP, corrector codes; |
| Sep. 2014 Nov. 2014 | "M1105: Bases des systèmes d'exploitation, DUT1"; topics: Operating systems, Linux/Unix shell, scripts; |
| Jan. 2014 Apr. 2014 | "Programmation Fonctionnelle Avancée, M2"; topics: Ocaml, Type inference algorithms, module system, streams; |
| Fev. 2014 Apr. 2014 | "M2101: Les réseaux locaux et Ethernet, DUT1"; topics: Computer Networks, LAN, VLAN; |
| Sep. 2013 Dec. 2013 | "M1101: Initiation aux réseaux d'entreprise, DUT1"; topics: Introduction to Computer Networks; |
| Nov. 2013 Jan. 2014 | "M1104: Principe et architecture des Réseaux, DUT1"; topics: Computer Networks, ISO-OSI, TCP-IP, corrector codes; |
| Sep. 2013 Nov. 2013 | "M1105: Bases des systèmes d'exploitation, DUT1"; topics: Operating systems, Linux/Unix shell, scripts; |
| Apr. 2012 Jul. 2013 | "Réseaux, Module R4, DUT1"; topics: Computer networks, Internet Protocol; |
| Sep. 2012 Dec. 2013 | "Réseaux, Module R2, DUT1"; topics: Computer networks, Local Area Network; |
| Sep. 2012 Dec. 2013 | "Réseaux, Module R1, DUT1"; topics: Computer networks, basics; |
| Sep. 2012 Dec. 2013 | "Introduction aux systèmes informatiques, Module I1, DUT1"; topics: Operating Systems, Unix shell; |
| Apr. 2012 Jun. 2012 | "Réseaux, Module R4, DUT1"; topics: Computer networks, Internet Protocol; |
| Sep. 2011 Dec. 2011 | "Réseaux, Module R2, DUT1"; topics: Computer networks, Local Area Network; |
| Sep. 2011 Dec. 2011 | "Réseaux, Module R1, DUT1"; topics: Computer networks, basics; |
| Sep. 2011 Dec. 2011 | "Réseaux, Module R1, DUT-FC1"; topics: Computer networks, basics; |
| Sep. 2011 Dec. 2011 | "Introduction aux systèmes informatiques, DUT1"; topics: Operating Systems, Unix shell; |
| Sep. 2010 Dec. 2010 | Course Advanced Lambda Calculus (6h); topics: Lambda calculus; |
| Sep. 2008 Dec. 2008 | "Introduction à Java et à la programmation orientée objet" (26h); topics: Java Programming language; |
| Sep. 2008 Dec. 2008 | "Cours de compilation" (26h); topics: assembly MIPS, Compilers; |
| Sep. 2008 Dec. 2008 | "Programmation Fonctionnelle" (26h); topics: Functional Programming, Ocaml; |
| Jan. 2008 Jun. 2008 |
"Analyse syntaxique et compilation" (28h); topics: Syntactical analysis and compiling; |
| Jan. 2008 Jun. 2008 |
"Projet long" (25h); topics: Graph drawing; |
| Sep. 2007 Dec. 2007 |
"Intelligence Artificielle" (28h); topics: Artificial Intelligence; |
| Sep. 2007 Dec. 2007 |
"Algorithmique" (20h); topics: An introduction to Algorithms; |
| Jan. 2007 | "Bases de données" (3h); topics: Database System Implementation; |
| Nov. 2004 Dec. 2004 |
"Architettura A" (20h); topics: Structured Computer Organization; |
| Oct. 2003 Dec. 2003 |
"Architettura A" (20h); topics: Structured Computer Organization; |
| Oct. 2002 Dec. 2002 |
"Architettura A" (20h); topics: Structured Computer Organization; |
| Oct. 2002 Dec. 2002 |
"Computabilità" (20h); topics: An introduction to Recursive Function Theory |
Home |
Research |
Curriculum |
Spare Time |
Give a person a fish and you feed them for a day.
Teach that person to use the Internet and they won't bother you for weeks.