Jump to content

Хартмут Эриг

Хартмут Эриг
Рожденный ( 1944-12-06 ) 6 декабря 1944 г.
Умер 17 марта 2016 г. (17 марта 2016 г.) (71 год)
Альма-матер ТУ Берлин
Супруг Гертрауд
Дети Карстен, Тимо, Рита
Научная карьера
Поля Алгебраическая спецификация ,
Графовые грамматики
Учреждения ТУ Берлин
Тезисы
  • Перенос универсальных и специальных проблем к представлению F-морфизмов   (1971).
  • Теория автоматов и формальный язык   (1974)
Докторантура Курт Лайхтвайс [1]
Докторанты Ханс-Йорг Креовски ,
Михаэль Лёве [ де ] ,
Бернд Мар [ де ]

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

Дебаты [ править ]

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

Избранные публикации [ править ]

  • Хартмут Эриг (1971). Перенос универсальных и специальных задач к представлению F-морфизмов (кандидатская диссертация). Технический университет Берлина.
  • Хартмут Эриг; Клаус-Дитер Кирмайер; Ханс-Йорг Креовски; Вольфганг Кюнель (1974). Универсальная теория автоматов — категориальный подход . Штутгарт: Тойбнер. ISBN  3-519-02054-8 .
  • Фолькер Клаус; Хартмут Эриг; Гжегож Розенберг, ред. (1979). Граф-грамматики и их применение в информатике и биологии . Конспекты лекций по информатике. Том. 73. Гейдельберг: Шпрингер. дои : 10.1007/BFb0025726 . ISBN  978-3-540-35091-0 .
  • Хартмут Эриг; Клаус П. Янтке; Фернандо Орехас; Хорст Райхель, ред. (апрель 1990 г.). Последние тенденции в спецификации типов данных, материалы 7-го семинара по абстрактным типам данных . ЛНКС. Том. 534. Спрингер.
  • И. Классен; Х. Эриг; Д. Вольц (1993). Методы и инструменты алгебраической спецификации для разработки программного обеспечения — подход ACT . Серия AMAST по вычислительной технике. Мировое научное издательство.
  • Хартмут Эриг; Джулия Падберг; Габриэль Юхас; Гжегож Розенберг, ред. (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 .

Ссылки [ править ]

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

Внешние ссылки [ править ]

Arc.Ask3.Ru: конец переведенного документа.
Arc.Ask3.Ru
Номер скриншота №: 5addc69df495c4b8a69eb62d12dbd804__1718386620
URL1:https://arc.ask3.ru/arc/aa/5a/04/5addc69df495c4b8a69eb62d12dbd804.html
Заголовок, (Title) документа по адресу, URL1:
Hartmut Ehrig - Wikipedia
Данный printscreen веб страницы (снимок веб страницы, скриншот веб страницы), визуально-программная копия документа расположенного по адресу URL1 и сохраненная в файл, имеет: квалифицированную, усовершенствованную (подтверждены: метки времени, валидность сертификата), открепленную ЭЦП (приложена к данному файлу), что может быть использовано для подтверждения содержания и факта существования документа в этот момент времени. Права на данный скриншот принадлежат администрации Ask3.ru, использование в качестве доказательства только с письменного разрешения правообладателя скриншота. Администрация Ask3.ru не несет ответственности за информацию размещенную на данном скриншоте. Права на прочие зарегистрированные элементы любого права, изображенные на снимках принадлежат их владельцам. Качество перевода предоставляется как есть. Любые претензии, иски не могут быть предъявлены. Если вы не согласны с любым пунктом перечисленным выше, вы не можете использовать данный сайт и информация размещенную на нем (сайте/странице), немедленно покиньте данный сайт. В случае нарушения любого пункта перечисленного выше, штраф 55! (Пятьдесят пять факториал, Денежную единицу (имеющую самостоятельную стоимость) можете выбрать самостоятельно, выплаичвается товарами в течение 7 дней с момента нарушения.)