Marcel Dischinger

Marcel Dischinger is a Researcher at the Max Planck Institute for Software Systems (MPI-SWS). His primary research focuses on Algorithms, Theory & Logic, Programming Languages & Verification, Cyber-Physical Systems, and Security & Privacy. He is affiliated with MPI-SWS, a leading research institute in computer science.

His work bridges theoretical foundations with practical applications in distributed and networked systems, emphasizing formal methods and system verification. Dischinger's research also extends to societal implications of information systems.

He can be reached via email at mdischin@mpi-sws.org and maintains a professional web presence at https://people.mpi-sws.org/~mdischin.