Professor

Volker Stolz

Department of Computer science, Electrical engineering and Mathematical sciences
Volker Stolz
Tel: +47 55 58 75 86
Email: Send email
Bergen
KRONSTAD, D403
Download contact card
See profile in CRIStin

Field of work

Pre-prints of articles are available through our institutional archive via my CRIStin-profile on the right!

Download my CV: https://lambda.foldr.org/~vs/stolz-4p.pdf
Mastodon: @fm_volker@mastodon.social

Past projects:

Courses taught
  • DAT153 "Mobile Application Development"
  • DAT355 "Model-driven Software Engineering and Reliable Software Systems"
  • PCS954 "Model Checking and Software Verification"
  • DAT159 "Refactoring"
Research areas
  • Software Engineering
  • Testing & Monitoring
  • Runtime Verification
  • Formal Methods
Research groups