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