Хартмут Эхриг

Немецкий учёный-компьютерщик

Хартмут Эхриг (родился 6 декабря 1944 года в Ангермюнде ; умер 17 марта 2016 года) был немецким ученым-компьютерщиком и профессором теоретической информатики и формальной спецификации. Он был пионером в алгебраической спецификации абстрактных типов данных и в графовых грамматиках . ^[2]

Вита

В 1969 году Эхриг получил диплом по математике в Техническом университете Берлина . В 1971 году он получил докторскую степень, а в 1974 году — хабилитацию в том же университете. Впоследствии он занимался исследовательской деятельностью в Исследовательском центре Томаса Дж. Уотсона и других местах. В 1976 году он стал преподавателем в Техническом университете Берлина и директором его Института программной инженерии и теоретической информатики. В 1984 году он был назначен полным профессором в Техническом университете Берлина. С 1981 по 1991 год он также был деканом его факультета компьютерных наук в течение нескольких периодов. Он был вице-президентом EATCS с 1997 по 2002 год. Он вышел на пенсию 1 октября 2010 года. ^{[2] [3]}

Избранные публикации

• Хартмут Эриг (1971). Übertragung Universeller und Spezieller Проблема в F-Morphismendarstellung (докторская диссертация). Технический университет Берлина.

• Хартмут Эриг; Майкл Пфендер (1972). Категории и автоматы . Берлин: де Грюйтер. дои : 10.1515/9783110832020. ISBN 3-11-003902-8.

• Hartmut Ehrig; Michael Pfender; Hans-Jürgen Schneider (октябрь 1973 г.). «Грамматика графов: алгебраический подход». Отчет конференции IEEE 14-го ежегодного симпозиума по теории коммутации и автоматов (SWAT'08) . IEEE. стр. 167–180. doi :10.1109/SWAT.1973.11.

• Хартмут Эриг; Клаус-Дитер Кирмайер; Ханс-Йорг Креовски; Вольфганг Кюнель (1974). Универсальная теория автоматов — категориальный подход . Штутгарт: Тойбнер. ISBN 3-519-02054-8.

• Volker Claus; Hartmut Ehrig; Grzegorz Rozenberg, ред. (1979). Графовые грамматики и их применение в информатике и биологии . Lecture Notes in Computer Science. Vol. 73. Heidelberg: Springer. doi :10.1007/BFb0025726. ISBN 978-3-540-35091-0.

• Hartmut Ehrig; Bernd Mahr (1985). Основы алгебраической спецификации 1 – Уравнения и начальная семантика. Монографии по теоретической информатике. Т. 6 (1-е изд.). Гейдельберг: Springer. ISBN 978-3-642-69964-1.

• Hartmut Ehrig; Bernd Mahr (1990). Основы алгебраической спецификации 2 – Спецификации модулей и ограничения. Монографии по теоретической информатике. Т. 21 (1-е изд.). Гейдельберг: Springer. ISBN 978-3-642-64776-5.

• Хартмут Эхриг; Клаус П. Янтке; Фернандо Орехас; Хорст Райхель, ред. (апрель 1990 г.). Последние тенденции в спецификации типов данных, Труды 7-го семинара по абстрактным типам данных . LNCS. Том 534. Springer.

• I. Claßen; H. Ehrig; D. Wolz (1993). Алгебраические методы спецификации и инструменты для разработки программного обеспечения – подход ACT . Серия AMAST по вычислениям. World Scientific Publishing.

• Hartmut Ehrig; G. Engels; H.-J. Kreowski; G. Rozenberg, ред. (октябрь 1999 г.). Приложения, языки и инструменты. Справочник по графовым грамматикам и вычислениям с помощью графовых преобразований. Том 2. World Scientific. doi :10.1142/4180. ISBN 978-981-02-4020-2.

• Хартмут Эриг; Джулия Падберг; Габриэль Юхас; Гжегож Розенберг, ред. (2001). Объединение сетей Петри – достижения в области сетей Петри . Конспекты лекций по информатике. Том. 2128. Гейдельберг: Шпрингер. дои : 10.1007/3-540-45541-8. ISBN 978-3-540-43067-4. S2CID  11160106.

• Хартмут Эриг; Вольфганг Рейзиг; Гжегож Розенберг; Герберт Вебер (2004). Технология Petri Net для систем связи . Конспекты лекций по информатике. Том. 2472. Гейдельберг: Шпрингер. ISBN 9783540205388.

• Hartmut Ehrig; Gregor Engels; Francesco Parisi-Presicce; Grzegorz Rozenberg, ред. (2004). Труды 2-й Международной конференции по преобразованию графов (ICGT) . LNCS. Том 3256. Гейдельберг: Springer. doi :10.1007/b100934. ISBN 978-3-540-23207-0. S2CID  32093939.

• Хартмут Эриг; Карстен Эриг; Ульрика Пранге; Габриэле Тенцер (2006). Основы алгебраического преобразования графов . Монографии EATCS по теоретической информатике. Гейдельберг: Спрингер. дои : 10.1007/3-540-31188-2. ISBN 3-540-31187-4.

• Hartmut Ehrig; Claudia Ermel; Ulrike Golas; Frank Hermann (2015). Преобразование графов и моделей . Монографии EATCS по теоретической информатике. Гейдельберг: Springer. doi :10.1007/978-3-662-47980-3. ISBN 978-3-662-47979-7. S2CID  27723564.

Ссылки

1. Хартмут Эхриг в проекте «Генеалогия математики»
2. Технический университет Берлина (27 марта 2016 г.). «Некролог Хартмута Эрига» (на немецком языке).
3. ТУ Берлина (ред.). «Вита Хартмут Эриг».

• Ханс-Йорг Креовски и Уго Монтанари и Фернандо Орехас и Грегорц Розенберг и Габриэле Тэнцер, ред. (2005). Формальные методы в программном обеспечении и системном моделировании — Эссе, посвященные Хартмуту Эхригу по случаю его 60-летия . LNCS. Том 3393. Гейдельберг: Springer. ISBN 9783540249368.

Внешние ссылки

• Литература Хартмута Эрига и о нем в каталоге Немецкой национальной библиотеки
• Хартмут Эхриг на библиографическом сервере DBLP
• Vita в Техническом университете Берлина — содержит портретное фото