Dr. Julian Parsert

Position

Postdoctoral Researcher

E-mail:   julian.parsert(at)cs.rptu.de

Forschungsinteressen

• Computer-aided verification
• Formal methods
• The intersection of these areas with artificial intelligence

Publikationen