Michel Charpentier
Michel Charpentier is an associate professor of computer science at the University of New Hampshire, where he teaches programming languages, concurrency, formal verification, and model checking. His interests cover distributed systems, formal verification, and mobile sensor networks. His new book is Functional and Concurrent Programming: Core Concepts and Features (Addison-Wesley, 2022).