Stephan Zdancewic

Programming Languages, Software Verification

Learn about functional programming, low-level code, and compilers; build reliable software using interactive theorem proving.

Engineering and Computing