Colleges › Cornell University › Instructors › Michael Clarkson
Cornell University · Spring 2027

Michael Clarkson

Michael Clarkson teaches 11 sections of 4 courses at Cornell University this Spring 2027: CS 4090, CS 4160, CS 4997, CS 5160. 11 sections have open seats. Open a course for the live picker and a free email when a seat opens.

Sections this Spring 2027

CS 4160: Formal Verification

Section DIS 201 · CRN 7149 · DIS
F 10:10am–11:00am
Open
Section DIS 202 · CRN 7150 · DIS
F 1:25pm–2:15pm
Open
Section LEC 001 · CRN 7148 · LEC
TR 2:55pm–4:10pm
Open

Watch a CS 4160 section for free

CS 4997: Practical Training in Computer Science

Section IND 601 · CRN 7151 · IND
Time TBA
Open
Section IND 602 · CRN 7152 · IND
Time TBA
Open
Section IND 603 · CRN 7153 · IND
Time TBA
Open
Section IND 604 · CRN 7154 · IND
Time TBA
Open

Watch a CS 4997 section for free

CS 5160: Formal Verification

Section DIS 201 · CRN 7175 · DIS
F 10:10am–11:00am
Open
Section DIS 202 · CRN 7176 · DIS
F 1:25pm–2:15pm
Open
Section LEC 001 · CRN 7174 · LEC
TR 2:55pm–4:10pm
Open

Watch a CS 5160 section for free

Instructor of record from Cornell University's public class schedule; grade distributions as published by Cornell University. All Cornell University instructors. ClassMaxx is not affiliated with Cornell University.

The iPhone app pushes the alert the second a seat opens, builds four ready schedules from your degree audit, and ranks sections by real grades. Free; a $4.99 Fast pass per semester makes alerts instant.

On a laptop? Email yourself the App Store link
One email with the link. No spam.
Sent. Open it on your iPhone.