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 102 – Isabella Fiorello
Robot Talk
13 Dec 2024
In the latest episode of the Robot Talk podcast, Claire chatted to Isabella Fiorello from the University of Freiburg about bioinspired living materials for soft robotics.
Robot Talk Episode 101 – Christos Bergeles
Robot Talk
06 Dec 2024
In the latest episode of the Robot Talk podcast, Claire chatted to Christos Bergeles from King's College London about micro-surgical robots to deliver therapies deep inside the body.
Robot Talk Episode 100 – Mini Rai
Robot Talk
29 Nov 2024
In the latest episode of the Robot Talk podcast, Claire chatted to Mini Rai from Orbit Rise about orbital and planetary robots.
Robot Talk Episode 99 – Joe Wolfel
Robot Talk
22 Nov 2024
In the latest episode of the Robot Talk podcast, Claire chatted to Joe Wolfel from Terradepth about autonomous submersible robots for collecting ocean data.
Robot Talk Episode 98 – Gabriella Pizzuto
Robot Talk
15 Nov 2024
In the latest episode of the Robot Talk podcast, Claire chatted to Gabriella Pizzuto from the University of Liverpool about intelligent robotic manipulators for laboratory automation.
Online hands-on science communication training – sign up here!
AIhub
13 Nov 2024
Find out how to communicate about your work with experts from Robohub, AIhub, and IEEE Spectrum.
Robot Talk Episode 97 – Pratap Tokekar
Robot Talk
08 Nov 2024
In the latest episode of the Robot Talk podcast, Claire chatted to Pratap Tokekar from the University of Maryland about how teams of robots with different capabilities can work together.
Robot Talk Episode 96 – Maria Elena Giannaccini
Robot Talk
01 Nov 2024
In the latest episode of the Robot Talk podcast, Claire chatted to Maria Elena Giannaccini from the University of Aberdeen about soft and bioinspired robotics for healthcare and beyond.
