About Me

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

Portrait of Michael ClarksonAppointments:


  • 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


  • Email: mrc26@cornell.edu
  • Office: 461 Gates Hall
  • Mailing address: 107 Hoy Road, Ithaca, NY 14853

Curriculum vitae (CV): pdf

Brief Bio: Michael Clarkson is a Senior Lecturer in the Department of Computer Science at Cornell University in Ithaca, NY. He received a PhD in Computer Science from Cornell University in 2010, advised by Andrew Myers and Fred B. Schneider. He teaches functional programming, object-oriented programming, and formal verification. He has also taught courses on computer security and data science. He received the Cornell Tau Beta Pi Professor of the Year Award in 2021, and the Cornell Engineering College Excellence in Teaching Award in 2020 and 2015. He is the lead author of OCaml Programming, an online textbook, and a contributing author to Software Foundations, an online textbook series. His YouTube channel on OCaml programming has over 200,000 views coming from every continent except Antarctica. Before pursuing a teaching-track career, Dr. Clarkson’s research interests focused on the science of security and electronic voting. He was the recipient of an Air Force Young Investigators Award (YIP). He was the lead creator of the Civitas voting system. He served as a member of a security review team commissioned by the Florida Division of Elections for an Internet voting pilot project.