We’re doing a lot of exciting work in programming languages and verification, with strong interdisciplinary overlaps into software engineering and HCI. Projects include: gradual verification (exploring how to combine static and dynamic checking to incrementalize verification), Penrose (automatically turning mathematical statements into beautiful diagrams), integrating theory with HCI evaluation in PL design, and other advanced programming language and type system design topics.

Before applying for this opportunity you need to submit your online profile. Click the button below to continue.