Section: Dissemination
Teaching - Supervision - Juries
Teaching
-
Licence : Sid TOUATI, Fondement machine, 75 heures eq TD, L1 informatique, Université Côte d'Azur.
-
Licence : Sid TOUATI, Architecture machine, 45 heures eq TD, L3 informatique, Université Côte d'Azur.
-
Licence : Sid TOUATI, Compilation, 33 heures eq TD, L3 informatique, Université Côte d'Azur.
-
Master: Sid TOUATI, Architectures et logiciels hautes performances, 81 heures eq TD, Master 1 informatique, Université Côte d'Azur.
-
Master international: Sid TOUATI, Advanced operating systems, 30 heures eq TD, Master 1 informatique, Université Côte d'Azur.
-
International Master: Frédéric Mallet, Safety-Critical Systems, 32h.
-
Master : Robert de Simone, Formal Methods for NoC-based design, 36 heures eq TD, M2 International Ubinet, Université Côte d'Azur.
-
License: Marie-Agnès Peraldi-Frati teaches Web security (20h eq TD), Security of connected objects (20h eq TD), IoT Infrastructure deployment (20 H) and Large scale plateform for IoT (20h eq TD) in a licence cursus dedicated to Internet of Objects, Infrastructure and Applications.
-
Master:Marie-Agnès Paraldi Frati, Web Security and IoT Platform, 20h eq TD, Master 2 SICOM, Univ Avignon.
-
Master : Luigi Liquori, Peer-to-peer systems, 32 eq TD, Université Côte d'Azur.
-
Master: Luigi Liquori, Rewriting Systems and Pattern Matching, 12 eq TD, Université de Lorraine.
-
Ph.D.: Winter School on Theoretical Foundations of Computer Science, 4-9 February 2019, Georgia. Luigi Liquori. Peer-to-peer and related systems, International Black Sea University and Shota Rustaveli National Science Foundation of Georgia.
-
Ph.D.: 12th International School on Rewriting (ISR) July 2020, Spain. Luigi Liquori. Pattern matching
-calculi. -
Master: Julien Deantoni, Finite State Machine, 54h eq TD, Polytech'Nice.
-
Master: Julien Deantoni, Multi Paradigm Programming in C++, 54h eq TD, Polytech'Nice.
-
Master: Julien Deantoni, Domain Specific Languages, 32h eq TD, Polytech'Nice.
-
Master: Julien Deantoni, Language Interpreter, 32h eq TD, Polytech'Nice.
-
Master: Julien Deantoni, Micro-controller programming, 8h eq TD, Polytech'Nice.
-
Master: Dumitru Potop-Butucaru, A synchronous approach to the design of embedded real-time systems, 30h, EPITA Engineering School, Paris.
-
Master: Dumitru Potop-Butucaru, Real-time embedded systems, 42h, EIDD (École d'Ingenieur Denis Diderot), Paris
Supervision
-
HDR : Julien Deantoni, Towards Formal System Modeling: Making Explicit and Formal the Concurrent and Timed Operational Semantics to Better Understand Heterogeneous Models, Université Côte d'Azur, Juillet 2019 [13]
-
PhD : Claude Stolze, Combining union, intersection and dependent types in an explicitly typed lambda-calculus, Université Côte d'Azur, Dec 16th 2019, Luigi Liquori. [14]
-
PhD in progress : Carsten BRUNS, Performance analysis and optimisation of C++ applications, Université Côte d'Azur, 2021, Sid TOUATI.
-
PhD in progress : Giovanni Liboni, Coordination of discrete (Cyber) Models, Université Cote d'Azur, end 2021, Frédéric Mallet, Julien DeAntoni.
-
PhD in progress : Joelle Abou Faysal, A Formal Language for Ensuring Safety Scenarios in Autonomous Vehicules, Université Cote d'Azur, 2022, Frédéric Mallet.
-
PhD: Keryan Didier, Contributions to the safe and efficient parallelisation of hard real-time systems. Sorbonne University, September 19, 2019, Dumitru Potop-Butucaru.
-
PhD in progress : Hugo Pompougnac, Sorbonne University, 2022, Dumitru Potop-Butucaru.
Juries
-
Frederic Mallet was president of the PhD Jury of Ines Array, Université Cote d'Azur, March 2019.
-
Eric Madelaine was member of the PhD jury of Frédéric Lemoine (CNAM, Paris), July 2019.
-
Frederic Mallet was reviewer for the PhD Jury of Frédéric Giroudot (ISAE, Toulouse), December 13th 2019.
-
Frederic Mallet was reviewer for the PhD Jury of Ngo Minh Thang NGUYEN (Centrale Supélec/CEA), December 16th 2019.
-
Dumitru Potop-Butucaru was a member of the PhD jury of Lina Marsso (Univ. Grenoble-Alpes, Inria, CNRS, GrenobleINP), December 10, 2019.
-
Dumitru Potop-Butucaru was a member of the PhD jury of Pierre Donat-Bouilloud (Sorbonne University), December 6, 2019.
-
Luigi Liquori was member of the PhD jury of Claude Stolze, Université Côte d'Azur, December 2019.