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.