About Me

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

Appointments

Education

  • PhD in Computer Science with a graduate minor in Music (organ), Cornell University, 2010
  • MS in Computer Science, Cornell University, 2004
  • BS in Systems Analysis and BM in Music Performance (piano), Miami University, 1999

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)

Brief Bio

Michael Clarkson is teaching-track faculty in the Department of Computer Science at Cornell University in Ithaca, NY. 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 (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 half million views from around the world. He also teaches courses on object-oriented programming, formal verification, computer security, and data science.

Curriculum vitae (CV): pdf

Portrait of Michael Clarkson