Ursula Goltz

Ursula Goltz is a German computer scientist, professor emerita at the Technical University of Braunschweig, formerly affiliated with the Institute for Programming and Reactive Systems there,[1] and former coordinator of a German Research Foundation program on long-lasting software systems.[2] Her research concerns the theory of concurrent computing, including the use of Petri nets to model concurrent systems. Goltz earned her Ph.D. at RWTH Aachen University in 1988, with the dissertation, Über die Darstellung von CCS-Programmen durch Petrinetze.[3]

Ursula Goltz
NationalityGerman
Alma materRWTH Aachen University
Known forIntroduction of action refinement in concurrent systems theory
Scientific career
FieldsComputer science
InstitutionsTechnical University of Braunschweig
Thesis'Über die Darstellung von CCS-Programmen durch Petrinetze' (1988)

In the theory of concurrent systems, she is known for introducing the concept of action refinement, an analogue of Niklaus Wirth's concept of stepwise refinement in the development of software systems, together with Rob van Glabbeek.[4] She is also one of the developers of Arden2ByteCode, a compiler for the Arden syntax for representing medical knowledge.[5]

References
  1. "Informatik: Emeritierte/Im Ruhestand befindliche Professoren", Institute der Carl-Friedrich-Gauß-Fakultät (in German), Technical University of Braunschweig, retrieved 2021-10-17
  2. Professorin Ursula Goltz koordiniert neuen DFG-Schwerpunkt für langlebige Softwaresysteme [Professor Ursula Goltz coordinates the new DFG focus on durable software systems] (Press release) (in German), Technical University of Braunschweig, 21 April 2011, retrieved 2021-10-17
  3. Ursula Goltz at the Mathematics Genealogy Project
  4. Van Glabbeek, Rob, Action refinement, retrieved 2021-10-17
  5. Contact the Arden2ByteCode team, Technical University of Braunschweig, retrieved 2021-10-17
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.