Benoit Razet

Assistant Professor of Computer Science at Bucknell University.

Research Interests

Automata Theory, Eilenberg machines, Kleene algebras, relational programming, functional programming, proof assistants.

Teaching

  • Fall 2013. CSCI 208 Programming Language Design (lecture and labs)
  • Fall 2013. CSCI 341 Theory of Computation (lecture and recitation)
  • Spring 2013. CSCI 206 Computer Organization and Programming (lecture and lab)
  • Fall 2012. CSCI 208 Programming Language Design (lecture and labs)
  • Fall 2012. CSCI 341 Theory of Computation (lecture and recitation)
  • Spring 2012. CSCI 208 Programming Language Design (lecture and labs)
  • Spring 2012. CSCI 203 Intro to Computer Science 1 (labs)
  • Fall 2011. CSCI 208 Programming Language Design (lecture and labs)
  • Fall 2011. CSCI 341 Theory of Computation (lecture and recitation)
  • Fall 2011. CSCI 204 Intro to Computer Science 2 (labs).

Publications

[1] The Reactive Engine for Modular Transducers. with Gérard Huet. In Algebra, Meaning and Computation, Essays Dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday. Kokichi Futatsugi, Jean-Pierre Jouannaud and José Meseguer Eds. Springer LNCS 4060, 2006, pp. 355-374.

[PDF | bib].

[2] Finite Eilenberg Machines . CIAA 2008. Springer LNCS 5148, 2008, pp. 242-251. [PDF|bib].

[3] Simulating Finite Eilenberg Machines with a Reactive Engine . MFSP 2008. Electronic Notes in Theoretical Computer Science 229 (2011) pp. 119-134. PDF.

[4] Computing with Relational Machines. with Gérard Huet. Tutorial given at ICON 2008, Pune, December 2008. PDF.

[5] Machines d'Eilenberg Effectives. Ph.D. from University of Paris Diderot. 2009. [PDF|HAL]. with distribution of OCaml and Coq programs [tar.gz].

[6] Average Analysis of Glushkov Automata under a BST-Like Model. With Cyril Nicaud and Carine Pivoteau. FSTTCS 2010. Published by LIPICS available on the Web or PDF.

Talks

The list of talks is available here.

Program Committees

MSFP 2010.

ICDCIT 2011.

Contact

Computer Science Department

College of Engineering

Bucknell University

2 Dent Road, 17837, Pennsylvania, USA

Email: benoit.razet@"myinstitution".edu