# 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.

[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.

[7]
**Computing Certificates of Regular Expression Equivalence**. With Bodhayan Roy.
Draft available as PDF.

## Talks

The list of talks is available here.## Program Committees

## Contact

Computer Science Department

College of Engineering

Bucknell University

2 Dent Road, 17837, Pennsylvania, USA

Email: benoit.razet@"myinstitution".edu