Hanna Krasowski

I design neuro-symbolic architectures 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 systems to learn, reason, and act in uncertain, dynamic environments while adhering to complex behavioral requirements, even when high-quality data is scarce or available knowledge is abstract. I validate my algorithms across various systems—including autonomous vessels, robotic manipulation, and biomolecular systems—pushing the boundaries in terms of system dimensionality, complexity of behavioral guarantees, and cross-domain transferability.

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.