Jana Tumova is an Assistant Professor at the Department of Robotics, Perception, and Learning (RPL) at the School of Computer Science and Communication at KTH Royal Institute of Technology.
Jana talks 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.
Jana also describes how she worked on an autonomous golf cart in Singapore where the controller was synthesized.
This podcast is part of the Wevolver network. Wevolver is a platform & community providing engineers informative content to help them innovate.
Learn more at Wevolver.com
If you are interested in sponsoring the podcast, you can contact us at richard@wevolver.com