Normann Decker

staff

Doctoral Candidate
E-mail: decker [at] isp.uni-luebeck.de
Address: 
Institut für Softwaretechnik und Programmiersprachen
Universität zu Lübeck
Ratzeburger Allee 160
23562 Lübeck
Germany
Room: 1.105, first floor in building 64

Field of interest in computer science

  • Logic
  • Automata- and language theory
  • Formal methods
  • System specification and verification
Activities: