Michael Clarkson

About

Michael Clarkson is teaching-track faculty in the Department of Computer Science at Cornell University. In 2022, after a decade of teaching a total of about 6,000 students, he received the university’s highest annual teaching award for teaching-track faculty and was appointed as a Provost’s Teaching Fellow, which is a permanent designation. He is best known for his open-source textbook on OCaml programming, which is used at Cornell and elsewhere. His accompanying YouTube channel on functional programming has received more than a million views from around the world. He also teaches courses on object-oriented programming, formal verification, computer security, and data science. Clarkson received his M.S. and Ph.D. in computer science from Cornell.