Page de Guillaume BUREL (photo de Guillaume Burel)

Enseignements

Année scolaire 2024/25

Programmation impérative (S1 FISE)

Suivre le lien pour accéder à la page du cours.

Programmation raisonnée (S5)

Sémantique des langages de programmation

Preuve formelle mécanisée

Assembleur/Compilation (S3 FISE)

Approches formelles pour la vérification de programmes (Master 2 CNS)

Intelligence artificielle (S4 FISA, en avance en 2024–25)

Années précédentes

Programmation fonctionnelle (S4 FISA)

Preuve, analyse statique et vérification runtime

Cours du parcours CILS du master d'informatique de Paris-Saclay.

Conseils pour installer Frama-C :

Programmation raisonnée

Démonstration automatique :

Langages et systèmes formels (ILSF)

Projet informatique (S2 2016)

Programmation impérative avancée (S2 2016)

Cours donnés pour le master IST-IE des universités Henri Poincaré et Nancy 2

Les serveurs (2008-09)

Transparents des cours

Partie sur la standardisation d'Internet

TD n°1

TD n°2

Voici une liste de RFC qui définissent les protocoles vus en cours. Il n'est pas demandé que vous les compreniez tous en détail, mais vous devriez être capable d'en extraire certaines informations.

Mise en oeuvre de serveurs d'application (2007-08)