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