Teaching
2011-2012
1st Semester
- Professor at PolyTech RICM3 lecutre about Algorithmics and Functional Programing (APF)
- Professor for Master Pro 2 Sécurité,
Cryptographie et codage de l'information. Material is avaible here
- Professor in Master SAFE part about Complexity and
Security Models .
- Professor at ENSIMAG in 3rd year : "introduction à la cryptographie".
2010-2011
2nd Semestre
-
Professor of INF242 at DLST : Introduction à la logique (base
de la démonstration automatique)
- Professor at PolyTech in RICM3 for the lecture : Langage et Programmation 2 : Programmation fonctionnelle
1st Semester
- Professor in Master Pro 2 Sécurité,
Cryptographie et codage de l'information. Material in english here
- Professor for Magister L2 option Mathématiques et Informatique S3 : Introduction à la cryptographie moderne.
- Professor at ENSIMAG in 3rd year : "introduction à la cryptographie".
2009-2010
2nd Semester
-
Professor and Assistant for the lecture INF242 at DLST :Introduction à la logique (base
de la démonstration automatique)
- Professor at PolyTech in RICM3 for the lecture: Langage et Programmation 2
1st Semester
- Professor in Master Pro 2 Sécurité,
Cryptographie et codage de l information. English material here
- Professor in Magister L2 option Mathématiques et Informatique S3 : Introduction à la cryptographie moderne.
- Professor at ENSIMAG in 3rd year. Material is avaible in english here
2008-2009
2nd Semester
-
Assistant in the lecture INF242 Introduction to Logic (basis of automated demonstration) by Michel
Levy. Responsable of the group INF-S4-01 MATH-S4-01.
-
Assistant for the lecture
INF121: Introduction to programming, functional approach. Responsable of the group INF-IAG-S2-2.
1st Semester
- Professor in Master Pro 2 Security,
Cryptography and Information Coding. Material is avaible in english here
- Professor in Magister L2 option Mathematiques and Computer Science S3 : Introduction to modern cryptography.
- Professor at ENSIMAG in 3rd year. Material is avaible in english here
2007-2008
2nd Semester
-
Assistant for the lecture: INF242 Introduction
to logic by Michel
Levy. Responsable of the group INF-S4-02.
-
Assistant for the lecture
INF121: Introduction to functionql programing. Responsable of the group INM-MAT-MAI-S2-03.
1st Semester
-
Professor in Master Pro 2 Security,
Cryptology and information coding. Course material in english is
avaible here
-
Professor in Master Recherche 2 Models and analysis of security protocols . Course material in english is avaible here
Before 2007
-
"Moniteur" at the Université Paris
XII: Lectures.
.
-
Assistant in the journées apprentissage of ENS Cachan.
-
Assistant at ETHZ for the lectures Information
Security and Modeling
and Simulation.
Divers
A small examples of result given by css and a piece of javascript:
[Simple]
[Withe Background]
[verimag]
[Black Background]
[Zen]
List of useful material to use LaTex
- Essential LaTeX ++ by Jon Warbrick, David Carlisle, Michel Goossens, Sebastian Rahtz, and Adrian Clark. 27 pages.
- The Not So Short Introduction to LaTeX2e by Tobias Oetiker, Hubert Partl, Irene Hyna, Elisabeth Schlegl. 101 pages
- A simplified introduction to LaTex, in english. 140 pages, well writen many details and examples.
- List of math symbols in LaTeX. Only 6 pages of basics LaTex symbols in mathematics. Indispensable.
- Complete list of symbols , by Scott Pakin. Very indispensable.
- Small Introdutcion to LaTex by Nicolas Markey in French. 60 pages well written for simple and nice things.
- Joli manuel pour LaTeX by Benjamin Bayart in French. 150 pages with many details and very usefull.
- Reference card for Emacs.
Gastex or how to make nice graphs and automata in latex.