Jan-Oliver Kaiser

Jan-Oliver Kaiser is a researcher at the Max Planck Institute for Software Systems (MPI-SWS), where he focuses on foundational and applied research in computer science. His work spans Algorithms, Theory & Logic, Programming Languages & Verification, Cyber-Physical Systems, and Security & Privacy. His research aims to advance the theoretical underpinnings of software systems while addressing challenges in distributed and networked environments.

He is affiliated with the Algorithmic Foundations department at MPI-SWS, which emphasizes rigorous mathematical approaches to computing problems. His webpage is available at https://people.mpi-sws.org/~janno.