Volker Stolz

Førsteamanuensis - Pålitelige systemer
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

Volker Stolz

Førsteamanuensis; Høgskulen på Vestlandet, 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-18, UiO) INF5140 Model Checking
  • (2015-18, HVL) DAT153 Mobile and Distributed Applications
  • (2015, HiB) MOD350 Model-driven Software Engineering
  • (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

  • Mann, Zoltan Adam & Stolz, Volker (ed.) (2018). Advances in Service-Oriented and Cloud Computing. Springer.  ISBN 978-3-319-79089-3.  194 s.

Se alle arbeider i Cristin

Se alle arbeider i Cristin

Publisert 4. nov. 2010 14:19 - Sist endret 13. apr. 2018 10:23