Skip to main content

Cornell University

Michael Clarkson

Teaching Professor | Cornell University

I teach 700–1,000 students a year to write correct, efficient, and beautiful programs.

Appointments

Brief Bio

Michael Clarkson is a (full) teaching professor in the Department of Computer Science and Bowers College of Computing and Information Science at Cornell University in Ithaca, NY. In 2022 he received the university’s highest annual teaching award for teaching-track faculty and was appointed as a Provost’s Teaching Fellow (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 over a million views from around the world. He also teaches courses on object-oriented programming, formal verification, computer security, and data science.

Curriculum vitae (CV)

Coordinates

  • Email: mrc26@cornell.edu
  • Office: 461 Gates Hall
  • Mailing address: 107 Hoy Road, Ithaca, NY 14853
  • Phone: 607-255-0278 (N.B. send email instead)

Portrait of Michael Clarkson