Page d'enseignement de Frédéric Herbreteau

Je suis maître de conférences à Bordeaux INP où je suis affecté au département informatique de l'ENSEIRB-MATMECA

Link to my research home page .

Première année

• IF114 : Automates finis et applications (CI)
• PG116 : Atelier algorithmique et programmation (CI)
• IF107 : Logique et preuve de programmes (C+TD)

Deuxième année

• IF228 : Calculabilité et complexité (C+TD)
• SE205 : Initiation à la recherche
• Stages deuxième année informatique

Troisième année

• IF311 : Conception formelle des logiciels (CI)
• RE319 : Ingénierie des protocoles - introduction au model-checking (TP)
• Présentation de l'option AMF

Divers

• Une classe LaTeX pour les sujets d'examens et les feuilles de TD à l'ENSEIRB-MATMECA (version du : 18/09/2018)