Géraud Sénizergues

Professeur émérite d'Informatique

Recherche/Research:

• Quelques Exposés/Some Talks.
  
• Automates et langages formels/ Automata and formal languages;
  Thème Langages Formels du LaBRI .
  Groupe de travail LANFOR de l'AFIT.
  Recent publications.
• Groupes et monoides/ Groups and monoids;
  Recent publications.
• Logique et (graphes/automates/suites)/ Logics and (graphs/automata/sequences);
  Recent publications.
• Réécriture / Rewriting.
  Recent publications.

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 :

LaBRI,
Unité Mixte de Recherche du C.N.R.S. N° 5800
Université Bordeaux I
351, cours de la Libération
F-33405 Talence Cedex