Educational Background

  • Magistere in Applied Computer Science (MIAIF), University of Paris 6, Pierre et Marie Curie, Paris, France
  • Masters degree in Computer Science, University of Paris 6, Pierre et Marie Curie, Paris, France
  • Ph.D. in Computer Science, University of Paris 7, Denis Diderot, Paris, France

Teaching Specialties

  • Theory of computation
  • Programming language design

Research Interests

  • Formal methods
  • Proof assistants
  • Automata theory
  • Kleene algebras
  • Functional programming
Close

Places I've Been

The following links are virtual breadcrumbs marking the 27 most recent pages you have visited in Bucknell.edu. If you want to remember a specific page forever click the pin in the top right corner and we will be sure not to replace it. Close this message.