Герхард Хроуст

Gerhard Chroust
Last updated: 07 March 2025
Gerhard Chroust

Герхард Хроуст (родился 23 апреля 1941 года) — австрийский ученый в области систем и профессор-эмерит по инженерии систем и автоматизации Института информационных наук при Линцском университете Иоганна Кеплера, Австрия. Хроуст является авторитетным специалистом в областях формальных языков программирования и междисциплинарного управления данными.

Биография

Герхард Хроуст родился в 1941 году в Вене (Австрия). Он начал изучать электронные коммуникации с 1959 года, получил степень магистра наук от Технического университета Вены в 1964 и Массачусетского технологического института в Пенсильвании в 1965 году. Докторскую диссертацию защитил в TU Wien (Венский технический) в 1974.С 1966 по 1991 годы Хроуст работал в лаборатории IBM Вена, а с 1975 года начался его преподавательский путь на факультетах Линцского университета и Технического университета. Сначала он читает курсы о микропрограммировании (Microprogramming), затем становится ассистентом профессора по компьютерным наукам, ведя лекции по тематике потоков данных и процессу разработки программного обеспечения.С 1992 года до выхода на пенсию в 2007 году он был профессором инженерии систем и автоматизации Линцского университета. В этот период возглавлял департамент (позже переименованный в Институт) по этой же теме.Хроуст является главным редактором информационного бюллетеня IFSR, членом редколлегии ряда журналов и серий книг. =

Семья

Герхард женат на Янии Хроуст (в девичестве Вепс) с 1968 года; у них двое сыновей — Мартин (*1971 г.) и Стефан (*1974), а также пятеро внуков.

Работа

Основные направления исследований Хроуста включают программную инженерию (моделирование процессов разработки ПО, качество процесса развития) и системное мышление. Также он занимается историей компьютерных технологий и человеческими аспектами в процессе создания софта.\n =

Кибернетика и Языки Программирования

В 1964 году Чруст написал свою магистерскую работу 'Kybernetisches Modell: Muehlespiel Masters' о кибернетике, продолжив исследование в области кибернетических машин еще четыре года.Изучение теоремы доказательства с 1965 по 1966 год привело Чруста к дальнейшему изучению формального определения Языков Программирования. В результате он разработал 'Vienna Definition Language'. С 1967 до 1975 гг. занимался теорией компиляторов и анализом вычислительных выражений.В 70-е годы Чруст продолжил изучение параллелизма, симуляции с 1969 по 1972 год, микропрограммирования — c 1975 до 1990 года. С 1976 по 1982 занимался теорией компиляторов.=

Инженерия программного обеспечения и инженеринга информационных технологий

В 80-е годы сфера исследований Чруста сместилась к области разработки ПО, а в 90-х — к инжинирингам информационной техники. Он проявлял особый интерес к методике проверок программного кода и управлению рабочими процессами (workflow).

Публикации

Чруст написал или редактировал более десятка книг, а также опубликовано свыше 400 статей, научных работ. Некоторые из них:1980. Firmware, microprogramming, and restructurable hardware : proceedings of the IFIP Working Conference on Firmware, Microprogramming, and Restructurable Hardware.1985. Formal models in programming: Proceedings of the IFIP TC2 Working Conference...1994. Workflow management1999. Adolf Adam - 80 Jahre, eine Anekdotensammlung