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 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.

Formal verification of computer systems and  autonomous golf carts w/Jana Tumova

Robots in Depth (RID) is an interview series with everyone in robotics, from top entrepreneurs, investors and corporate leaders to researchers, political policy makers and domain experts. 
The episodes are 30-60 minutes long, and a new episode is published each week.

The format of RID is that of a talk show with one host and one interviewee, both in the same space. The interviews are relaxed and conversational in style and cover every aspect of robotics.

Per Sjöborg hosts Robots in Depth. He is an experienced interviewer in the field of robotics, interviewing robotics experts regularly since he started his podcast in 2010.
Per is well connected in the robotics community and has attended the industry’s major events since 2008.

Science

Technology

Education

Robots in Depth (RID) is an interview series with everyone in robotics, from top entrepreneurs, investors and corporate leaders to researchers, political policy makers and domain experts. The episodes are 30-60 minutes long, and a new episode is published each week. The format of RID is that of a talk show with one host and one interviewee, both in the same space. The interviews are relaxed and conversational in style and cover every aspect of robotics. Per Sjöborg hosts Robots in Depth. He is an experienced interviewer in the field of robotics, interviewing robotics experts regularly since he started his podcast in 2010. Per is well connected in the robotics community and has attended the industry’s major events since 2008.

Share Formal verification of computer systems and autonomous golf carts w/Jana Tumova

Sign up to save your podcasts

Formal verification of computer systems and autonomous golf carts w/Jana Tumova

Formal verification of computer systems and autonomous golf carts w/Jana Tumova