cfaed Seminar Series

cfAED Seminar Series

Dr. Marcus Völp , TU Dresden / cfaed

Seminar Series - Dr. Marcus Völp: Verifying Cyber Physical Systems - a CMU experience report

06.06.2014 (Friday) TU Dresden, Computer Sciences, Room tbc , Dresden

During my stay at the Carnegie Mellon University, I was involved with Andre´ Platzer and his group in the verification of cyber physical systems. In this talk, I will give an overview about cyber physical systems, the methods we used to verify them and the specific topics I have worked on. In addition, I would like to share with you some of my experiences being at an American elite university.

Go back