396 Proving Properties of Programs with Mechanized Logic F23 | S23 | F21 | S19 393 Software Construction S22 | S21 397 Dynamics of Programming Languages S19 3/495 PL Seminar W17 | F13 | F12 | F11 F10 | F09 | W09 322 Compiler Construction S16 | S15 | S14 | S13 S12 | S11 | S10 | S09 321 Programming Languages F15 | W15 | W14 | W13 W12 | W11 | W10 3/495 Advanced Compiler Hacking F15 Old courses, taught at Chicago If you got email claiming to be from me, 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.