David Baelde
I am currently a postdoc at the University of Minnesota, USA, in the Teyjus group lead by Gopalan Nadathur. Before that, I completed my PhD in Computer Science at the LIX (École Polytechnique, Palaiseau), under the supervision of Dale Miller. I'm mostly interested in logics, and more specifically proof theory: (co)induction, linear logic, focalization, reasoning in presence of variable bindings, etc.
On this site, you'll find the list of my papers, and documents related to my teaching (french). You might also find useful one of my software contributions.
Contact:
firstname.name@ens-lyon.org.
