Michel Charpentier
Associate Professor
Durham, New Hampshire, United States
Summary
đ€
Seniorđ
Top SchoolMichel Charpentier is an associate professor of computer science at the University of New Hampshire with a long-standing research and teaching focus on concurrency, programming languages, formal verification, and distributed/mobile sensor systems. At UNH since 1999 and with prior postdoctoral and visiting roles at Caltech, he blends rigorous academic research with practical course design in model checking and concurrent programming. He is the author of the recent Addison-Wesley book "Functional and Concurrent Programming: Core Concepts and Features," reflecting a commitment to clarifying core language concepts for practitioners and students. His background from Toulouse INP and ENSEEIHT underpins a strong theoretical foundation married to applied systems work, and he continues to explore how formal methods can improve real-world concurrent and distributed systems.
10 years of coding experience
2 years of employment as a software developer
Doctor of Philosophy - PhD (Doctorat), Computer Science, Doctor of Philosophy - PhD (Doctorat), Computer Science at Toulouse INPEngineer's degree (Ingénieur Grandes Ecoles), Computer Science and Applied Mathematics, Engineer's degree (Ingénieur Grandes Ecoles), Computer Science and Applied Mathematics at ENSEEIHT
Github Skills (104)
table-of-contents10
zinc10
commonmark10
haskell10
markdown10
scala-native10
formatter10
markup-language10
sbt-plugin10
markup10
sbt10
scala10
pandoc10
converter10
dotty10
Programming languages (11)
Github contributions (5)
charpov/CountDown
May 2016 - Jan 2019
Contributions:1 release, 13 commits, 16 pushes in 2 years 8 months
charpov/TinyScalaUtils
Nov 2021 - Mar 2025
Contributions:24 releases, 93 pushes, 31 branches in 3 years 5 months
Find and Hire Top DevelopersWeâve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.