Ivan Gavran

Ivan Gavran is a Researcher at the Max Planck Institute for Software Systems (MPI-SWS), focusing on foundational and applied aspects of computer science. His primary research interests include formal verification, reinforcement learning, multi-robot systems, and cyber-physical systems. He explores the intersection of formal methods with machine learning and robotics, aiming to create robust, provably correct systems.

His work emphasizes practical applications such as smart contract verification, human-robot collaboration, and distributed task planning. He has developed tools like Lassie for interactive theorem proving and Antlab for multi-robot task coordination. Gavran’s contributions bridge theoretical computer science with real-world systems, addressing challenges in security, reliability, and scalability.

While no formal awards are listed in the provided text, his publications reflect significant engagement with leading conferences in formal methods and robotics. His research often involves collaborative projects, leveraging MPI-SWS’s interdisciplinary environment to tackle complex problems in distributed systems and artificial intelligence.