Урсула Гольц
Урсула Гольц | |
|---|---|
| Национальность | немецкий |
| Альма-матер | RWTH Ахенский университет |
| Известный | Введение уточнения действий в теорию параллельных систем |
| Научная карьера | |
| Поля | Информатика |
| Учреждения | Технический университет Брауншвейга |
| Диссертация | О представлении программ CCS с помощью сетей Петри (1988) |
Урсула Гольц — немецкий учёный-компьютерщик, почётный профессор Технического университета Брауншвейга , ранее работавший там же с Институтом программирования и реактивных систем. [1] и бывший координатор программы Немецкого исследовательского фонда по долговечным программным системам. [2] Ее исследования касаются теории параллельных вычислений , включая использование сетей Петри для моделирования параллельных систем.Гольц получила докторскую степень. в RWTH Ахенском университете в 1988 году, защитив диссертацию « О представлении программ CCS с использованием сетей Петри» . [3]
В теории параллельных систем она известна тем, что вместе с Робом ван Глаббеком ввела концепцию уточнения действий, аналог концепции поэтапного усовершенствования Никлауса Вирта при разработке программных систем. [4] Она также является одним из разработчиков Arden2ByteCode , компилятора синтаксиса Arden для представления медицинских знаний. [5]
Ссылки
[ редактировать ]- ^ «Информатика: почетные/пенсионные профессора» , Институт факультета Карла Фридриха Гаусса (на немецком языке), Технический университет Брауншвейга , получено 17 октября 2021 г.
- ^ Профессор Урсула Гольц координирует новый фокус DFG на долгосрочных программных системах [ Профессор Урсула Гольц координирует новый фокус DFG на долгосрочных программных системах ] (пресс-релиз) (на немецком языке), Технический университет Брауншвейга, 21 апреля 2011 г. , дата обращения : 10 октября 2021 г. 17
- ^ Урсула Гольц в проекте «Математическая генеалогия»
- ^ Ван Глаббек, Роб, Уточнение действия , получено 17 октября 2021 г.
- ^ Свяжитесь с командой Arden2ByteCode , Технический университет Брауншвейга , получено 17 октября 2021 г.
