Перейти к навигации Перейти к поиску
| Хартмут Эриг | |
|---|---|
| Родившийся | 6 декабря 1944 г. |
| Умер | 17 марта 2016 г. (71 год) |
| Альма-матер | TU Berlin |
| Супруг (а) | Гертрауд |
| Дети | Карстен, Тимо, Рита |
| Научная карьера | |
| Поля | Алгебраическая спецификация , Граф грамматики |
| Учреждения | TU Berlin |
| Тезисов |
|
| Докторант | Курт Лейхтвайс [1] |
| Докторанты | Ханс-Йорг Креовски , Михаэль Лёве , Бернд Мар |
Хартмут Эриг (родился 6 декабря 1944 года в Ангермюнде ; умер 17 марта 2016 года) был немецким компьютерным ученым и профессором теоретической информатики и формальной спецификации. Он был пионером в области алгебраической спецификации абстрактных типов данных и грамматик графов . [2]
Вита [ править ]
В 1969 году Эриг получил диплом математика в Техническом университете Берлина . В 1971 году он получил докторскую степень в 1971 году, а в 1974 году получил степень хабилитации в том же университете. Впоследствии у него были исследовательские стажировки в Исследовательском центре Томаса Дж. Уотсона . В 1976 году он стал преподавателем Берлинского технического университета и директором Института программной инженерии и теоретической информатики. В 1984 году он был назначен профессором Берлинского технического университета. С 1981 по 1991 год он также несколько раз был деканом факультета компьютерных наук. Он был вице-президентом EATCS с 1997 по 2002 год. Он ушел в отставку 1 октября 2010 года. [2] [3]
Избранные публикации [ править ]
- Хартмут Эриг (1971). Übertragung universeller und spezieller Probleme in F-Morphismendarstellung (докторская диссертация). Технический университет Берлина.
- Хартмут Эриг; Майкл Пфендер (1972). Kategorien und Automaten . Берлин: де Грюйтер. DOI : 10.1515 / 9783110832020 . ISBN 3-11-003902-8.
- Хартмут Эриг; Майкл Пфендер; Ханс-Юрген Шнайдер (октябрь 1973 г.). «Граф-грамматики: алгебраический подход» . Отчет конференции IEEE о 14-м ежегодном симпозиуме по теории коммутации и автоматов (SWAT'08) . IEEE. С. 167–180. DOI : 10.1109 / SWAT.1973.11 .
- Хартмут Эриг; Клаус-Дитер Кирмайер; Ханс-Йорг Креовски; Вольфганг Кюнель (1974). Универсальная теория автоматов - категориальный подход . Штутгарт: Тойбнер. ISBN 3-519-02054-8.
- Фолькер Клаус; Хартмут Эриг; Гжегож Розенберг, ред. (1979). Граф-грамматики и их применение в информатике и биологии . Конспект лекций по информатике. 73 . Гейдельберг: Springer. DOI : 10.1007 / BFb0025726 . ISBN 978-3-540-35091-0.
- Хартмут Эриг; Бернд Мар (1985). Основы алгебраической спецификации 1 - Уравнения и начальная семантика . Монографии по теоретической информатике. 6 (1-е изд.). Гейдельберг: Springer. ISBN 978-3-642-69964-1.
- Хартмут Эриг; Бернд Мар (1990). Основы алгебраической спецификации 2 - Спецификации модулей и ограничения . Монографии по теоретической информатике. 21 (1-е изд.). Гейдельберг: Springer. ISBN 978-3-642-64776-5.
- Хартмут Эриг; Клаус П. Янтке; Фернандо Орехас; Хорст Райхель, ред. (Апрель 1990 г.). Последние тенденции в спецификации типов данных, Труды 7-го семинара по абстрактным типам данных . LNCS. 534 . Springer.
- И. Класен; Х. Эриг; Д. Вольц (1993). Алгебраические методы спецификации и инструменты для разработки программного обеспечения - подход ACT . Серия AMAST в вычислительной технике. Мировое научное издательство.
- Хартмут Эриг; Г. Энгельс; Х.-Ж. Креовски; Г. Розенберг, ред. (Октябрь 1999 г.). Приложения, языки и инструменты . Справочник по грамматикам графов и вычислениям с помощью преобразования графов. 2 . World Scientific. ISBN 978-981-02-4020-2.
- Хартмут Эриг; Джулия Падберг; Габриэль Юхас; Гжегож Розенберг, ред. (2001). Объединение сетей Петри - достижения в сетях Петри . Конспект лекций по информатике. 2128 . Гейдельберг: Springer. DOI : 10.1007 / 3-540-45541-8 . ISBN 978-3-540-43067-4.
- Хартмут Эриг; Вольфганг Рейзиг; Гжегож Розенберг; Герберт Вебер (2004). Технология сети Петри для коммуникационных систем . Конспект лекций по информатике. 2472 . Гейдельберг: Springer. ISBN 9783540205388.
- Хартмут Эриг; Грегор Энгельс; Франческо Паризи-Презичче; Гжегож Розенберг, ред. (2004). Труды 2-й Международной конференции по преобразованию графов (ICGT) . LNCS. 3256 . Гейдельберг: Springer. DOI : 10.1007 / b100934 . ISBN 978-3-540-23207-0.
- Хартмут Эриг; Карстен Эриг; Ульрике Прейндж; Габриэле Танцер (2006). Основы преобразования алгебраических графов . Монографии EATCS по теоретической информатике. Гейдельберг: Springer. DOI : 10.1007 / 3-540-31188-2 . ISBN 3-540-31187-4.
- Хартмут Эриг; Клаудиа Эрмель; Ульрике Голас; Франк Германн (2015). Преобразование графов и моделей . Монографии EATCS по теоретической информатике. Гейдельберг: Springer. DOI : 10.1007 / 978-3-662-47980-3 .
Ссылки [ править ]
- ^ Хартмут Ehrig на Математическая генеалогия
- ^ a b Технический университет Берлина (27 марта 2016 г.). «Некролог Хартмута Эрига» (на немецком языке).
- ^ TU Берлин (ред.). "Вита Хартмут Эриг" .
- Ханс-Йорг Креовски, Уго Монтанари, Фернандо Орехас, Грегор Розенберг и Габриэле Таентцер, изд. (2005). Формальные методы в программном обеспечении и системном моделировании - Очерки, посвященные Хартмуту Эригу в связи с его 60-летием . LNCS. 3393 . Гейдельберг: Springer. ISBN 9783540249368.
Внешние ссылки [ править ]
- Литература по и о Хартмут Ehrig в Немецкой национальной библиотеки каталог
- Хартмут Эриг на сервере библиографии DBLP
- Vita в TU Berlin - содержит портретное фото