BSc / MSc Students
Prospective thesis students should include a short description of their interests, relevant coursework, and links to prior projects or writing.
Join Us
We welcome strong students interested in programming languages, verification, and security.
PhD Students
Prospective PhD students should reach out with a CV, a short research idea, and a brief note explaining how their interests connect to the group.