This is Michel Charpentier’s website at the University of New Hampshire.

I am an Associate Professor with the Computer Science department. My interests revolve around the area of concurrent and distributed computing. My early work focused on foundations (formal verification, theorem proving, compositional reasoning) but these days, I’m more interested in practical matters like multi-threaded programming and heterogeneous, disconnected, distributed systems. I teach a course on programming languages (at the junior level) and two courses on concurrency (at the senior and graduate level): one practical (concurrent programming) and the other more theoretical (model checking and formal verification).

I have served in the Faculty Senate, the Academic Affairs Committee, the CS Department Undergraduate Committee, the College Rules Committee, the College Curriculum and Academic Planning Committee, the University Curriculum and Academic Policies Committee and various hiring search committees. I have also dealt with ABET accreditation and was the CS department’s Undergraduate Coordinator for five years.