Robohub.org
Robots in Depth with Jana Tumova
In this episode of Robots in Depth, Per Sjöborg speaks with Jana Tumova, Assistant Professor at the KTH Royal Institute of Technology, about formal verification of computer systems and synthesizing controllers from models.
We get an introduction to the relatively new, especially when applied to robotics, field of formal verification. Jana talks about the requirements and limits of formal verification and how she feels we are ready to start merging the computer science process with regulatory and business processes.
Robots in Depth
is a new video series featuring interviews with researchers, entrepreneurs, VC investors, and policy makers in robotics, hosted by Per Sjöborg.
Robots in Depth
is a new video series featuring interviews with researchers, entrepreneurs, VC investors, and policy makers in robotics, hosted by Per Sjöborg.
Related posts :
Robot Talk Episode 141 – Our relationship with robot swarms, with Razanne Abu-Aisheh
Robot Talk
23 Jan 2026
In the latest episode of the Robot Talk podcast, Claire chatted to Razanne Abu-Aisheh from the University of Bristol about how people feel about interacting with robot swarms.
Vine-inspired robotic gripper gently lifts heavy and fragile objects
MIT News
23 Jan 2026
The new design could be adapted to assist the elderly, sort warehouse products, or unload heavy cargo.
Robot Talk Episode 140 – Robot balance and agility, with Amir Patel
Robot Talk
16 Jan 2026
In the latest episode of the Robot Talk podcast, Claire chatted to Amir Patel from University College London about designing robots with the agility and manoeuvrability of a cheetah.
Taking humanoid soccer to the next level: An interview with RoboCup trustee Alessandra Rossi
AIhub and Lucy Smith
14 Jan 2026
Find out more about the forthcoming changes to the RoboCup soccer leagues.
Robots to navigate hiking trails
Christopher Tatsch
12 Jan 2026
Find out more about work presented at IROS 2025 on autonomous hiking trail navigation via semantic segmentation and geometric analysis.
Robot Talk Episode 139 – Advanced robot hearing, with Christine Evers
Robot Talk
09 Jan 2026
In the latest episode of the Robot Talk podcast, Claire chatted to Christine Evers from University of Southampton about helping robots understand the world around them through sound.
Meet the AI-powered robotic dog ready to help with emergency response
Texas A&M University
07 Jan 2026
Built by Texas A&M engineering students, this four-legged robot could be a powerful ally in search-and-rescue missions.
MIT engineers design an aerial microrobot that can fly as fast as a bumblebee
MIT News
31 Dec 2025
With insect-like speed and agility, the tiny robot could someday aid in search-and-rescue missions.
