Nicolas Loosen

Nicolas Loosen is a Researcher at the Max Planck Institute for Software Systems (MPI-SWS). His research focuses on Algorithms, Theory & Logic, Programming Languages & Verification, Cyber-Physical Systems, and related areas such as Distributed Systems, Security & Privacy, and Social & Information Systems. He contributes to the academic community through his work at MPI-SWS, though specific details about his advising, grants, or lab affiliations are not explicitly mentioned in the provided text.