Thibaut BALABONSKI

Enseignant-chercheur en informatique. Lab. Méthodes Formelles, Univ. Paris-Saclay.

---

Assistant professor of computer science. Formal methods lab. Paris-Saclay University.

Recherche / Research

Cours à l'Université Paris-Saclay

L2 informatique

• Introduction à la programmation objet (IPO)

  Programmation objet, classes, classes abstraites, héritage. Environnement de développement. Java.

• Outils logiques et algorithmiques (OLA)

  Outils pour raisonner sur les algorithmes. Spécification, correction, complexité. Graphes, arbres, induction. Python, Java, OCaml.

LDD3 info-maths

• Langages, interprétation, compilation

  Langages de programmation, syntaxe concrète, syntaxe abstraite, sémantique, interprétation, types, génération de code. OCaml.

M1 MPRI, parcours Orsay

• Compilation

  Compilation des langages de haut niveau. Analyse de programmes, optimisations. OCaml.

• Lambda-calcul

  Lambda-calcul. Sémantique opérationnelle des langages de programmation. Calculabilité.

  Lambda-calculus. Operational semantics of programming languages. Computability.

Informatique au lycée et en prépa

Livres co-écrits avec Sylvain Conchon, Jean-Christophe Filliâtre, Kim Nguyen, et Laurent Sartre.

NSI Première	NSI Terminale	Informatique MP2I/MPI
[ site web ]	[ site web ]	[ site web ]
[ éditeur ]	[ éditeur ]	[ éditeur ]
[ fnac.com ]	[ fnac.com ]	[ fnac.com ]

Contact

• Thibaut.Balabonski[AT]lmf.cnrs.fr
• +33 (0)1 69 15 42 03
• Bâtiment 650, bureau 263

Cours Université Paris-Sud (archives)

• Programmation objet et génie logiciel (L2 Info)
• Compilation et langages de programmation (M1 Info)
• Sémantique et types (M2 FIIL)