My main interests are in concurrency and programming languages. I teach courses at the University of New Hampshire in programming languages, concurrency, formal verification and model-checking. I've recently published a book Functional and Concurrent Programming: Core Concepts and Features with Addison-Wesley (2023).
(https://www.cs.unh.edu/~charpov/)
(https://fcpbook.org)
