Jana Tumova

Jana Tumova is an Associate Professor at the Division of Robotics, Perception and Learning, KTH Royal Institute of Technology. Her research focuses on designing algorithms for safe, purposeful autonomous systems using formal methods to ensure rigorous specifications and guarantees. Applications span autonomous driving, UAV exploration, and network control. She teaches courses like Artificial Intelligence (DD2380) and leads the Robotics, Reading Group (FDD3316).

Her work emphasizes formal methods integration with AI, safety-critical control, and human-robot interaction. Notable research directions include risk-aware planning, belief space control, and contingency planning under uncertainty. She has published extensively on motion planning, robust control synthesis, and multi-agent systems.

Key technical contributions include techniques like Belief Control Barrier Functions, Backward Underapproximate Reachability (BURNS), and Transitional Grid Maps. She actively participates in interdisciplinary initiatives like the Control for Societal-Scale Challenges: Roadmap 2030.