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
- Senior Lecturer, Computer Science, Bowers College of Computing and Information Science
- Senator, Cornell Faculty Senate, 2023–2026
- Teaching Fellow and former Associate Director, McCormick Family Teaching Excellence Institute, College of Engineering
- Faculty Advisor, Dungeons and Dragons at Cornell
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 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
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)
