Section: Dissemination
Teaching - Supervision - Juries
Teaching
-
-
Operating Systems, 60 h, L1, IUT Nancy Brabois, Université de Lorraine, Nancy, France,
Algorithms and Programs, 60 h, L1, IUT Nancy Brabois, Université de Lorraine, Nancy, France,
Object Oriented Programming, 24 h, L1, IUT Nancy Brabois, Université de Lorraine, Nancy, France,
Databases, 24 h, L2, IUT Nancy Brabois, Université de Lorraine, Nancy, France,
Advanced Databases, 20 h, L2, IUT Nancy Brabois, Université de Lorraine, Nancy, France,
Complexity, 28 h, L2, IUT Nancy Brabois, Université de Lorraine, Nancy, France,
Algorithmics, 12 h, DU PFST (equiv. L1), IUT Nancy Brabois, Université de Lorraine, Nancy, France,
Operating Systems, 9 h, DU PFST (equiv. L1), IUT Nancy Brabois, Université de Lorraine, Nancy, France.
-
Propositional logic, 25 hours, L1 ISC, UFR MI, Université de Lorraine, Nancy, France,
Introduction to Java, 45 hours, L3 ISC MIAGE , UFR MI, Université de Lorraine, Nancy, France,
Databases, 42 hours, L3 LSG, ISAM-IAE, Université de Lorraine, Nancy, France,
Algorithmic complexity, 30 hours, L3 ISC MIAGE, IGA, Casablanca, Maroc.
-
-
Modelling and UML, M1, Ecole des Mines, Université de Lorraine, Nancy, France,
Video games, M1, Ecole des Mines, Université de Lorraine, Nancy, France,
Semantics, M1, Ecole des Mines, Université de Lorraine, Nancy, France,
Safety of software, M2, Ecole des Mines, Université de Lorraine, Nancy, France.
-
Automata Theory, M1, Ecole des Mines, Université de Lorraine, Nancy, France,
Logic, M1, Ecole des Mines, Université de Lorraine, Nancy, France,
Data Base, M1, Ecole des Mines, Université de Lorraine, Nancy, France,
Algorithmic, M1, Ecole des Mines, Université de Lorrain, Nancy, France,
Security, M2, Ecole des Mines, Université de Lorraine, Nancy, France,
Head of the M2 internships, M2, Ecole des Mines, Université de Lorraine, Nancy, France.
-
Supervision
PhD : Pascal Vanier, "Pavages : périodicité et complexité calculatoire", Aix-Marseille Université, defended November 22th, 2012, Emmanuel Jeandel.
PhD in progress : Thanh Dinh Ta, Malware Algebraic Modeling and Detection, started Sept. 2010, Jean-Yves Marion (director) and Romain Péchoux (co-advisor).
PhD in progress: Hugo Férée, Computational Complexity in Analysis, started Sept. 2011, Jean-Yves Marion (director) and Mathieu Hoyrup (co-advisor).
PhD in progress: Aurélien Thierry, Morphological Analysis of Malware, started October 2011, Jean-Yves Marion.
PhD in progress: Joan Calvet, Viruses: how they interact with their environment, started October 2009, Jean-Yves Marion and José M. Fernandez, joint PhD with Ecole Polytechnique de Montréal.
Juries
Isabelle Gnaedig:
Emmanuel Hainry:
Mathieu Hoyrup:
participation to the jury of Master 2 "Logique Mathématique et Fondements de l'Informatique" of Benoît Monin.
Jean-Yves Marion:
November 30th, 2012, HDR of Virgile Mogbil, U. Paris 13 (reviewer),
December 3th, 2012, PhD of Vincent Cheval, ENS Cachan (president),
December 17th, 2012, PhD of Hedi Benzina, ENS Cachan (reviewer).
Romain Péchoux: