Computer Science Department

Benoit Razet

 

   Visiting Assistant Professor of Computer Science
   Dept. of Computer Science
   Bucknell University
   Lewisburg, PA 17837

   Phone: (570) 577-3397
   Fax: (570) 577-1258
   Office: Dana 318
   Email: benoit.razet [at] bucknell [dot] edu 

   Benoit Razet's Personal Page  
 

 

 

---

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 Experience

• Bucknell University, 2011 - Present
  

Teaching Specialties

• Theory of Computation

• Programming Language Design
  

Research Interests

• Formal Methods

• Proof Assistants

• Automata Theory

• Kleene Algebras

• Functional Programming