Mr. Pascal Bergsträßer

 

Position

Doktorand und Wissenschaftlicher Mitarbeiter

Anschrift

Gebäude 34, Raum 421
Gottlieb-Daimler-Straße
67663 Kaiserslautern
Deutschland

Tel: (0631) 205-3355

E-mail: bergstraesser(at)cs.uni-kl.de

Forschungsinteressen

 

  • Logic
  • Automata Theory
  • Formal Verification