하르트무트 에릭

Hartmut Ehrig
하르트무트 에릭
태어난(1944-12-06) 1944년 12월 6일
앵그리뮌데
죽은2016년 3월 17일(2016-03-17) (71)
모교베를린 TU
배우자게르트라우드
아이들.카르스텐, 티모, 리타
과학 경력
필드대수적 사양,
그래프 그래머
기관베를린 TU
세시즈
  • F-모르피즘엔다르스텔룽의 우버트라궁 우니벨러와 슈펠러 문제 (1971)
  • 오토마타 이론과 공식언어 (1974)
박사학위 자문위원쿠르트 레이흐트웨이트[1]
박사과정 학생한스 요르그 크레오스키
마이클 뢰베 [de],
베른트 마흐르[de]

하르트무트 에릭(Hartmut Ehrig, 1944년 12월 6일 앵그리뮌데에서 출생, 2016년 3월 17일 사망)은 독일의 컴퓨터 과학자 겸 이론 컴퓨터 과학 및 형식 사양 교수였다.그는 추상 데이터 유형의 대수적 사양과 그래프 그래머의 선구자였다.[2]

비타

1969년 에릭은 베를린 공과대학(TU)에서 수학 학위를 받았다.1971년에는 1971년에 박사학위를 취득하였고, 1974년에는 같은 대학에서 박사학위를 취득하였다.그 후, 그는 토마스 J. 왓슨 연구 센터에서 연구 활동을 했다.1976년에는 TU 베를린의 강사가 되었고, 소프트웨어 공학 및 이론 컴퓨터 과학 연구소의 소장이 되었다.1984년, 그는 베를린 TU에서 전임교수로 임명되었다.1981년과 1991년 사이, 그는 또한 여러 차례 컴퓨터 과학 학부 학장을 지냈다.그는 1997년부터 2002년까지 EATCS 부사장을 지냈다.그는 2010년 10월 1일에 은퇴했다.[2][3]

선택한 게시물

  • Hartmut Ehrig (1971). Übertragung universeller und spezieller Probleme in F-Morphismendarstellung (Ph.D. thesis). Technische Universität Berlin.
  • Hartmut Ehrig; Klaus-Dieter Kiermeier; Hans-Jörg Kreowski; Wolfgang Kühnel (1974). Universal theory of automata — a categorial approach. Stuttgart: Teubner. ISBN 3-519-02054-8.
  • Volker Claus; Hartmut Ehrig; Grzegorz Rozenberg, eds. (1979). Graph-Grammars and Their Application to Computer Science and Biology. Lecture Notes in Computer Science. Vol. 73. Heidelberg: Springer. doi:10.1007/BFb0025726. ISBN 978-3-540-35091-0.
  • Hartmut Ehrig; Klaus P. Jantke; Fernando Orejas; Horst Reichel, eds. (Apr 1990). Recent Trends in Data Type Specification, Proceedings 7th Workshop on Abstract Data Types. LNCS. Vol. 534. Springer.
  • I. Claßen; H. Ehrig; D. Wolz (1993). Algebraic Specification Techniques and Tools for Software Development – The ACT Approach. AMAST Series in Computing. World Scientific Publishing.
  • Hartmut Ehrig; Julia Padberg; Gabriel Juhás; Grzegorz Rozenberg, eds. (2001). Unifying Petri Nets – Advances in Petri Nets. Lecture Notes in Computer Science. Vol. 2128. Heidelberg: Springer. doi:10.1007/3-540-45541-8. ISBN 978-3-540-43067-4.
  • Hartmut Ehrig; Wolfgang Reisig; Grzegorz Rozenberg; Herbert Weber (2004). Petri Net Technology for Communication-Based Systems. Lecture Notes in Computer Science. Vol. 2472. Heidelberg: Springer. ISBN 9783540205388.
  • Hartmut Ehrig; Gregor Engels; Francesco Parisi-Presicce; Grzegorz Rozenberg, eds. (2004). Proceedings of the 2nd International Conference on Graph Transformation (ICGT). LNCS. Vol. 3256. Heidelberg: Springer. doi:10.1007/b100934. ISBN 978-3-540-23207-0.
  • Hartmut Ehrig; Karsten Ehrig; Ulrike Prange; Gabriele Taentzer (2006). Fundamentals of Algebraic Graph Transformation. EATCS Monographs in Theoretical Computer Science. Heidelberg: Springer. doi:10.1007/3-540-31188-2. ISBN 3-540-31187-4.
  • Hartmut Ehrig; Claudia Ermel; Ulrike Golas; Frank Hermann (2015). Graph and Model Transformation. EATCS Monographs in Theoretical Computer Science. Heidelberg: Springer. doi:10.1007/978-3-662-47980-3.

참조

  1. ^ 수학계보 프로젝트 하르트무트 에릭
  2. ^ a b Technische Universität Berlin (2016-03-27). "Obituary Hartmut Ehrig" (in German).
  3. ^ TU Berlin (ed.). "Vita Hartmut Ehrig".
  • Hans-Jörg Kreowski and Ugo Montanari and Fernando Orejas and Gregorz Rozenberg and Gabriele Taentzer, ed. (2005). Formal Methods in Software and Systems Modelling — Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday. LNCS. Vol. 3393. Heidelberg: Springer. ISBN 9783540249368.

외부 링크