Our research is dedicated to developing new technologies that help to construct high-quality software in a productive way.
Teaching
Research
Decentralized and Collaborative Software
Secure and Privacy-Preserving Software
Static Analysis & Verification
Team & Contact
