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