- Home
- Home » Categories
- Home » Legal
- Home » Team
- Home » Team » Abhinav Anand
- Home » Team » Dr. Amir Molzam Sharifloo
- Home » Team » Benedict Smit
- Home » Team » Boris Scheet
- Home » Team » Christian Kuessner
- Home » Team » Claudia Roßmann
- Home » Team » Daniel Maninger
- Home » Team » Dr. David Richter
- Home » Team » Esther Berghoff, Dipl.-Wirt.-Ing.
- Home » Team
- Home » Team
- Home » Team » Jannis Brugger
- Home » Team » Julian Haas
- Home » Team » Mert Tiftikci
- Home » Team » Prof. Dr. Mira Mezini
- Home » Team
- Home » Team » Patrick Müller
- Home » Team » Dr. Ragnar Mogk
- Home » Team » Shweta Verma
- Home » Team » Simon Daniel
- Home » Team » Timon Böhler
- Home » Team » Dr. Tobias Reinhard
- Home » Publications
- Home » Search
- Home » Sitemap
- Home » Tags
- Home » Courses
- Home » Courses » Artificial Intelligence for Coding Assistance (AI4CA)
- Home » Courses » Concepts of Programming Languages (COPL)
- Home » Courses » Design and Implementation of Programming Languages (DAIMPL)
- Home » Courses » Design and Implementation of Programming Languages (DAIMPL) » DAIMPL 2026 Summer
- Home » Courses » Design and Implementation of Programming Languages (DAIMPL) » DAIMPL 2026 Summer » C1: Access -- Policy-based access control for weakly consistent replication
- Home » Courses » Design and Implementation of Programming Languages (DAIMPL) » DAIMPL 2026 Summer » C2: Pickling -- Serialization with Pickler Combinators in Scala
- Home » Courses » Design and Implementation of Programming Languages (DAIMPL) » DAIMPL 2026 Summer » D1: SampCert -- Differential Privacy in Lean
- Home » Courses » Design and Implementation of Programming Languages (DAIMPL) » DAIMPL 2026 Summer » J1: Gleam -- Fault Tolerant Distributed Programs using Actors and Static Typing
- Home » Courses » Design and Implementation of Programming Languages (DAIMPL) » DAIMPL 2026 Summer » J2: Veil -- A Framework for Automated and Interactive Verification of Distributed Systems
- Home » Courses » Design and Implementation of Programming Languages (DAIMPL) » DAIMPL 2026 Summer » S1: Chorex -- multiparty session actor framework
- Home » Courses » Design and Implementation of Programming Languages (DAIMPL) » DAIMPL 2026 Summer » S2: Maty -- a multiparty session type actor language
- Home » Courses » Design and Implementation of Programming Languages (DAIMPL) » DAIMPL 2026 Summer » T1: Einsum -- Programming with Einstein Summation Notation
- Home » Courses » Design and Implementation of Programming Languages (DAIMPL) » DAIMPL 2026 Summer » T2: Linear -- Linear Types and Borrowing in Haskell
- Home » Courses » Design and Implementation of Programming Languages (DAIMPL) » General Information
- Home » Courses » Implementation of Programming Languages (IMPL)
- Home » Courses » Implementation of Programming Languages (IMPL) » IMPL 2026 Summer
- Home » Courses » Implementation of Programming Languages (IMPL) » IMPL 2026 Summer » PC1: Better Syncthing with CRDTs
- Home » Courses » Implementation of Programming Languages (IMPL) » IMPL 2026 Summer » PD1: Syntax, Semantics and Typesystems in Lean
- Home » Courses » Implementation of Programming Languages (IMPL) » IMPL 2026 Summer » PF1: Local Sync for Local-first
- Home » Courses » Implementation of Programming Languages (IMPL) » IMPL 2026 Summer » PF2: Making FOSS apps Local-first
- Home » Courses » Implementation of Programming Languages (IMPL) » IMPL 2026 Summer » PF3: Improving Awareness for Git-based Collaboration
- Home » Courses » Implementation of Programming Languages (IMPL) » IMPL 2026 Summer » PJ1: Implementing Compositional Distributed Protocols with Replicated Data Types in Scala
- Home » Courses » Implementation of Programming Languages (IMPL) » IMPL 2026 Summer » PS1: Choreographic Actors
- Home » Courses » Implementation of Programming Languages (IMPL) » IMPL 2026 Summer » PT1: Formalizing Programming Languages in Lean
- Home » Courses » Teaching Internship / "Tutor"
- Home » Courses » Software Development Tools (SDT)
- Home » Courses » Software Engineering Project (SEP)
- Home » Courses » Type Systems (TYPES)
- Home » Theses