Volker Stolz

Bilde av Volker Stolz
English version of this page
Telefon +47-22852438
Rom 9461
Treffetider etter avtale
Brukernavn
Besøksadresse Gaustadalléen 23B Ole-Johan Dahls hus 0373 OSLO
Postadresse Postboks 1080 Blindern 0316 OSLO
Andre tilknytninger Institutt for informatikk

Volker Stolz

Førsteamanuensis, Høgskolen i Bergen


Open Master Theses

Academic Interests

  • Formal methods
  • Functional and logic programming
  • Aspect-oriented programming
  • Program analysis and transformation
  • Runtime verification

Events

  • NIK 2016, Norwegian Informatics Conference / Norwegian ICT conference on research and education, November 28.-30. 2016, Bergen, Norway
  • RV'16, Intl. Conf. on Runtime Verification & summer school, September 23.-30. 2016, Madrid, Spain
  • ATPS 2016, 9. Arbeitstagung Programmiersprachen, February 25.-26. 2016, Vienna, Austria

Past Events

Teaching

  • (2015, HiB) DAT153 Mobile and Distributed Applications
  • (2015, HiB) MOD350 Model-driven Software Engineering
  • (2015, UiO) INF5140Model Checking
  • (2014) INF3110 Programmeringsspråk
  • (2013) INF3110 Programmeringsspråk
  • (2012) INF3110 Programmeringsspråk
  • (2012) INF3230 Formell modellering og analyse av kommuniserende systemer
  • (2011) INF3110 Programmeringsspråk
  • (2010) INF3110 Programmeringsspråk
Emneord: programming languages, programmeringsspråk, formal methods, model transformation, UML, QVT, Haskell, FreeBSD, object-orientation, verification

Publikasjoner

Se alle arbeider i Cristin

Se alle arbeider i Cristin

Publisert 4. nov. 2010 14:19 - Sist endret 28. okt. 2016 15:55