Master theses

•  Evaluation and Comparison of Frameworks for Collaborative Web Applications with Local First Systems
• Interactive and Collaborative spreadsheets with a SQL Local-First paradigm
• Visualization and Debug Tooling for Yjs-based Local-first Web applications
• Collaborative Reactive Spreadsheets
• Program Synthesis for TLA+ Specifications of Actor-Based Distributed Systems
• Range query implementation for distributed key-value stores
• Persisting the AntidoteDB Cache: Design and Implementation of a Cache for a CRDT Datastore

Bachelor theses

• Property-based Type-Tests für typannotierten Python-Code
• Verification of Coinductive Data Types using Semantic Typing in Rust
• Development of an analytic process for the usage data of a clinical decision support system
• A Safe and Secure Backend for a Local-first Web Application with YJs
• Implementierung und Evaluierung einer visuellen Datenanalyse in einer kollaborativen Webanwendung
• Implementing export features in modern web apps
• Formalisation and Development of Type Checking for Restricted and Unrestricted Maps with Set-theoretic types in Erlang
• A Local-first Approach for Utilizing Digital Sensors and Microcontrollers in Education
• Local-first Processing of Sensor Data in Education