People

Researchers, students, collaborators, and alumni connected to the group.

Faculty

PhD Student

Robin Webbers

PhD student working on tools and techniques for explaining program verification failures.

refinement typesverification tools

Alp Adnan Basar

PhD student working on programming languages, security, and formal verification.

programming languagessecurityverification

Wind Wong

PhD student working on programming languages, security, and formal verification.

Personal website
programming languagessecurityverification

Collaborator

Sabine Oechsner

Assistant Professor working on formal security guarantees for cryptographic protocols.

Contact Personal website
cryptographycryptographic protocolsformal securityformal verificationmultiparty computation

Alumni