Hanna Krasowski

I build embodied intelligence that can reason about complex requirements, learn efficiently, and act reliably in uncertain, dynamic environments. My research introduces specification guards—mechanisms that infuse structured knowledge into learning-based decision making—to achieve interpretable, data-efficient systems with rigorous guarantees. I demonstrate that these algorithms scale to high-dimensional dynamical systems, satisfy complex behavioral requirements, and transfer across domains ranging from maritime autonomy to biomolecular systems.

Currently, I am a postdoctoral researcher in Murat Arcak’s group at UC Berkeley EECS and affiliated with Berkeley Artificial Intelligence Research (BAIR). I am also mentored by Sanjit Seshia. Previously, I was a doctoral researcher at Technical University of Munich’s Cyber-Physical Systems Group led by Matthias Althoff. I was selected as an RSS Pioneer and EECS Rising Star in 2025.

Research interests

control · robotics · embodied intelligence · neuro-symbolic methods

Software packages

CommonOcean is a collection of benchmarks for motion planning of autonomous vessels and provides researchers with software tools to build, evaluate, and compare their motion planners. CommonOcean includes a temporal logic formalization of maritime traffic rules, converters for AIS data, and vessel models with parameters for multiple vessel types.

CommonRoad-RL offers a reinforcement learning gym to solve motion planning problems from CommonRoad driving scenarios. Its modularity facilitates the benchmarking of autonomous driving research with reinforcement learning.

Beyond research

I am passionate about encouraging girls to consider STEM subjects for their careers. In my opinion, STEM subjects allow you to gain a deep understanding of the world and enable you to actively shape it through innovation. For me, this is very empowering, and I hope to spark interest in STEM by running workshops during which female role models guide high-school girls through hands-on science experiments. I head the initiative Girls macht MINT! by the CURIA network.