![Michel Charpentier](/sites/default/files/styles/portrait_480x720/public/person/2018/05/michel_photo_1.jpg?h=4eccbf86&itok=hJSN6ruI)
Courses Taught
- CS 671: Program Lang Concepts&Features
- CS 735/835: Intro Parallel & Distrib Prog
- CS 745/845: Formal Spec & Verf of Systems
- CS 761: Program Lang Concepts&Features
- CS 761/861: Program Lang Concepts&Features
- CS 861: Program Lang Concepts&Features