Ursula Goltz was 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 | |
|---|---|
| Died | 2024-10-30 |
| Nationality | German |
| Alma mater | RWTH Aachen University |
| Known for | Introduction of action refinement in concurrent systems theory |
| Scientific career | |
| Fields | Computer science |
| Institutions | Technical 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]
Ursula Goltz died on 30 October 2024.[6]
References
edit- ^ "Informatik: Emeritierte/Im Ruhestand befindliche Professoren", Institute der Carl-Friedrich-Gauß-Fakultät (in German), Technical University of Braunschweig, retrieved 2021-10-17
- ^ 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
- ^ Ursula Goltz at the Mathematics Genealogy Project
- ^ Van Glabbeek, Rob, Action refinement, retrieved 2021-10-17
- ^ Contact the Arden2ByteCode team, Technical University of Braunschweig, retrieved 2021-10-17
- ^ "Ursula Goltz", Concurrency Mailing List, retrieved 2024-11-01