396Proving Properties of Programs with Mechanized Logic
F23 | S23 | F21 | S19
393Software Construction
S22 | S21
397Dynamics of Programming Languages
S19
3/495PL Seminar
W17 | F13 | F12 | F11
F10 | F09 | W09
322Compiler Construction
S16 | S15 | S14 | S13
S12 | S11 | S10 | S09
321Programming Languages
F15 | W15 | W14 | W13
W12 | W11 | W10
3/495Advanced Compiler Hacking
F15

Old courses, taught at Chicago

If you got email claiming to be from me at via a gmail.com address about a research position, it probably is not me and you might be being scammed. My email is robby@northwestern.edu.