
Géraud Sénizergues

Professeur émérite d'Informatique
Recherche/Research:
Enseignement/Teaching:
- Outils Mathématiques pour l'Informatique un polycopié (niveau licence).
- Compilation (Licence d'Informatique)
Cours/TD de Compilation, semestre 6, 16/17.
Cours/TD de Compilation, semestre 6, 17/18.
- Algorithmique Géométrique (Masters d'Informatique ou Mathématique)
un polycopié (en construction);
TD, semestre 2, 06/07.
- Logique Automates et Algorithmes (Master d'Informatique)
Cours/TD de Systèmes déductifs, semestre 3, 06/07.
- Logique (Master d'Informatique)
Cours/TD de Logique, semestre 1, 13/14 .
- Logics (Master in Computer Science)
Course in Logics, semester 1, 15/16 .
- Jeux, synthèse et contrôle (Option ENSEIRB,2ième année)
Cours/TD, semestre 2, 15/16 .
- Jeux, synthèse et contrôle (Master d'Informatique, 2ième année)
Cours/TD, semestre 1, 16/17 .
- Calculabilité (ENSEIRB,2ième année)
TD, semestre 2, 20/21/22/23/24 .
- Cryptologie (ENSEIRB,2ième année)
TD, semestre 2, 22/23/24 .
- Introduction au monde quantique (Licence Iternationale , 2ieme annee)
2ieme semestre, 16/17 .
- Introduction a l'information quantique (ENSEIRB, 2ieme annee)
2ieme semestre, 16/17 .
- Informatique théorique 2 (Licence d'Informatique)
Cours/TD, semestre 6, 10/11 .
- Formal Languages (M1, Pòle Universitaire Francais, Ho Chi Minh ville)
May 2020 .
- Stage d'initiation à l'informatique pour lycéens
16-18 Février 2015 .
Adresse :
Bureau: 312 - Tel: 05 40 00 35 26 - geraud.senizergues@u-bordeaux.fr - Fax: 05 40 00 66 69