Dr. Julian Parsert
Position
Postdoctoral Researcher
Address
Gebäude 34, Raum 425
Gottlieb-Daimler-Straße
67663 Kaiserslautern
Deutschland
E-mail: julian.parsert(at)cs.rptu.de
Research interests
- Computer-aided verification
- Formal methods
- The intersection of these areas with artificial intelligence