Hanna Krasowski

I design neuro-symbolic decision-making algorithms that leverage machine learning and scalable model-based control methods to achieve data-efficient, reliable, and interpretable physical intelligence. To this end, I develop specification guards that enable cyber-physical systems to learn, reason, and act in uncertain, dynamic environments while adhering to complex behavioral requirements. My algorithms push the boundaries in terms of system dimensionality, the complexity of behavioral guarantees, and cross-domain transferability, and I validate them across various systems such as autonomous vessels, robotic manipulation, and 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 · physical 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.