Fachgebiet Automatic Reasoning

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