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

Appointments

• Steven H. Weiss Provost’s Teaching Fellow, Cornell University
• Associate Director, McCormick Family Teaching Excellence Institute, College of Engineering
• Senior Lecturer, Computer Science, Bowers College of Computing and Information Science
• Senator, Cornell Faculty Senate, 2023–2026
• Faculty Advisor, Dungeons and Dragons at Cornell

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

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