cfaed Seminar Series

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.