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 .

Ingénieur informatique

• Logique et preuve
• Atelier algorithmique et programmation
• Calculabilité et complexité
• Conception formelle des logiciels
• Responsable de la spécialité de 3eme année Algorithmes et méthodes formelles (AMF)

Ingénieur réseaux et informatique

• Responsable de la formation
• Logique et mathématiques discrètes
• Langages de scripts et programmation Python
• Projet semestriel "Réseaux et Informatique"