I’m looking for PhD students in the Fall 2021 application cycle, to start in Fall 2022. Come work with me at Stevens CS in Hoboken, NJ! What will we work on? I’m interested in applying formalism — all those pretty Greek letters in program semantics, type systems, and static analysis — directly to real systems […]
