David Baelde

Assistant Professor, ENS Cachan

Research

Projects

ANR Prodaq, Rapido, and Sequoia.

Events

POPL 2017, LSFA 2016, … and Chocola.

Papers

Full list of publications

Enseignement

L3 : langages formels

Travaux dirigés pour la première partie du cours de Paul Gastin:

   TD 1, 2, 3, 4, (5), 6, 7 et TP (base de code), …

et le reste chez Sylvain Schmitz.

L3 : logique

Je partage les cours avec Gilles Dowek. Plus d'info ici.

L3 : lambda-calcul

Travaux dirigés pour le cours de Jean Goubault:

   TD 1, 2, 3, 4, 5, 6, 7, 8, DM (corrigé), 9, 10, 11, …

L3 : prog 2

Travaux pratiques pour le cours de Giuseppe Castagna.

L3 : prog 1

TP de C, ASM et projet compilo, pour le cours de Jean Goubault.

M1 : génie logiciel

Par ici!

Années précédentes

J'enseignais aussi en 2014/2015, 2013/2014 et 2012/2013.

Other

Check out my former homepage for more stuff.

Or fall into a salade loop.

About LSV

Contact

David Baelde
Address
LSV, CNRS & ENS de Cachan
61, avenue du Président Wilson
94235 CACHAN Cedex, France
Office
RH-B-102
Phone
+33 (0)1 47 40 77 80
Fax
+33 (0)1 47 40 75 21
Secr.
+33 (0)1 47 40 75 20
E-Mail
email