Associate Professor Karolina Nowak has been invited to deliver a keynote address on Sound Neuro-Symbolic Model Checking at ECMI 2026 in Munich.
The organizing committee of the 14th European Conference on Machine Intelligence (ECMI 2026) announced the keynote program featuring Dr inż. Karolina Nowak.
Warsaw, August 15, 2026 — Dr inż. Karolina Nowak, Associate Professor and Head of the Autonomous Systems & Formal Verification Lab at BBQ Institute, has been invited to present a keynote lecture at the 14th European Conference on Machine Intelligence (ECMI 2026) to be held in Munich, Germany this September.
Her talk, titled “Bridging the Continuous-Discrete Gap: Sound Verification for Neural Controllers in Safety-Critical Robotics,” will showcase novel algorithms that allow engineers to compute tight mathematical safety boundaries around deep reinforcement learning policies controlling unmanned aerial vehicles and autonomous ground rovers.
Scientific Data (Nature Springer) Vol. 11(1), pp. 18-34(2024). DOI: 10.1038/sdata.2016.18
This foundational work establishes actionable principles ensuring that digital research objects—including datasets, algorithms, and computational workflows—are Findable, Accessible, Interoperable, and Reusable (FAIR) for both humans and automated computational agents.