Volker Stolz

Volker Stolz Email and Phone Number

Professor @ Høgskolen I Bergen
Bergen, Hordaland, Norway
Volker Stolz's Location
Bergen, Vestland, Norway, Norway
Volker Stolz's Contact Details

Volker Stolz personal email

n/a
About Volker Stolz

More info: https://lambda.foldr.org/~vs/Lecturer on Software Verification, Mobile App-Development, Concepts of Programming Languages, and Software Engineering.I was the main developer of the rCOS modeler for use-case driven development of component-based systems using UML, see http://rcos.iist.unu.edu, and vice-chair of the EU COST Action IC1402 "Runtime Verification Beyond Monitoring (ARVI)": https://www.cost-arvi.euSpecialties: Runtime verification, functional programming,UML, formal methods, software engineering, teaching

Volker Stolz's Current Company Details
Høgskolen I Bergen

Høgskolen I Bergen

View
Professor
Bergen, Hordaland, Norway
Website:
hib.no
Employees:
8
Volker Stolz Work Experience Details
  • Høgskolen I Bergen
    Professor
    Høgskolen I Bergen
    Bergen, Hordaland, Norway
    View
  • Western Norway University Of Applied Sciences
    Professor
    Western Norway University Of Applied Sciences Aug 2020 - Present
    Bergen, Norway
    View
  • Høgskolen I Bergen
    Associate Professor
    Høgskolen I Bergen Aug 2014 - Jul 2020
    Bergen Area, Norway
    View
  • Universitetet I Oslo
    Adjunct Associate Professor
    Universitetet I Oslo Aug 2014 - Present
    Oslo Area, Norway
    View
  • University Of Oslo
    Researcher
    University Of Oslo Mar 2014 - Jul 2014
    Oslo Area, Norway
    View
  • University Of Oslo
    Post-Doc
    University Of Oslo Mar 2010 - Feb 2014
    Oslo Area, Norway
    View
  • Høgskulen På Vestlandet
    Associate Professor
    Høgskulen På Vestlandet Jan 2017 - Aug 2020
  • Guizhou Academy Of Sciences
    Visiting Professor
    Guizhou Academy Of Sciences May 2016 - May 2020
    Guiyang, Guizhou, China
  • Unu-Iist
    Adjunct Research Fellow
    Unu-Iist Feb 2010 - Jan 2013
    Macao
    Principal investigator of the Applied Runtime Verification project (ARV) and lead developer of the rCOS modeler: http://rcos.iist.unu.edu
    View
  • Unu-Iist
    Assistant Research Fellow
    Unu-Iist Aug 2006 - Jan 2010
    Macao
    Research and teaching on formal methods and software engineering.Development of a use case-driven component-based modeling tool using UML, called the "rCOS modeler", see http://rcos.iist.unu.edu.Organization of the TTSS workshop series, see http://www.iist.unu.edu/ttss09/.
    View
  • Freebsd
    Ports Committer
    Freebsd Mar 2004 - Jan 2010
    View
  • Rwth Aachen University
    Dipl.-Inform.
    Rwth Aachen University 2001 - 2006
    Kreisfreie Stadt Aachen Area, Germany
    View
  • Regionalstelle Des Bistums Aachen
    Zivildienstleistender
    Regionalstelle Des Bistums Aachen 1994 - 1995

Volker Stolz Skills

Software Engineering Uml Formal Methods Java

Volker Stolz Education Details

Frequently Asked Questions about Volker Stolz

What company does Volker Stolz work for?

Volker Stolz works for Høgskolen I Bergen

What is Volker Stolz's role at the current company?

Volker Stolz's current role is Professor.

What is Volker Stolz's email address?

Volker Stolz's email address is vs****@****ldr.org

What schools did Volker Stolz attend?

Volker Stolz attended Rwth Aachen University, Rwth Aachen University, Universidad Politécnica De Madrid, Städt. Gymnasium Baesweiler.

What are some of Volker Stolz's interests?

Volker Stolz has interest in Functional/logic Programming, Model Driven Development, Formal Methods.

What skills is Volker Stolz known for?

Volker Stolz has skills like Software Engineering, Uml, Formal Methods, Java.

Not the Volker Stolz you were looking for?

View similar profiles

Free Chrome Extension

Find emails, phones & company data instantly

Find verified emails from LinkedIn profiles
Get direct phone numbers & mobile contacts
Access company data & employee information
Works directly on LinkedIn - no copy/paste needed
Get Chrome Extension - Free

Download 750 million emails and 100 million phone numbers

Access emails and phone numbers of over 750 million business users. Instantly download verified profiles using 20+ filters, including location, job title, company, function, and industry.