Automatic Reasoning

Dr. Julian Parsert

 

Position

Postdoctoral Researcher

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

Research interests

 

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