Hans-Jörg Kreowski

from Wikipedia, the free encyclopedia

Hans-Jörg Kreowski (born August 10, 1949 ) is a German computer scientist and professor at the University of Bremen . His research focus is theoretical computer science , especially in the area of ​​graph transformation and algebraic specification. He is also on the board of the Forum Computer Scientists for Peace and Social Responsibility (FIfF).

Life

Kreowski studied mathematics from 1969 to 1974 at the TU Berlin , where he then worked as a research assistant and received his doctorate in 1978 on "Manipulation of graph manipulations". In 1981 he received his habilitation in theoretical computer science and in 1982 he was appointed professor at the University of Bremen . At the latter, he was also temporarily the dean of the department for mathematics and computer science. He also heads the department's theoretical computer science working group.

Kreowski was elected a member of the learned society Leibniz Society of Sciences in Berlin in 2013.

Positions

As part of his involvement in the FIfF, Kreowski has repeatedly expressed himself critical of the Bundeswehr's involvement in the cyber and information space. He is also critical of autonomous, armed drones .

Publications (selection)

Kreowski researches theoretical computer science v. a. on topics of graph transformation , algebraic specification and syntactic methods of image generation. He has also submitted corresponding publications for this purpose.

  • Hans-Jörg Kreowski: Manipulation of graph manipulations . Dissertation. TU Berlin, Berlin 1978.
  • Hans-Jörg Kreowski, Sabine Kuske: Graph Transformation Units with Interleaving Semantics . In: Formal Aspects of Computing . tape 11 , no. 6 , December 1999, ISSN  0934-5043 , p. 660-723 , doi : 10.1007 / s001659970005 .
  • Egidio Astesiano, Hans-Jörg Kreowski, Bernd Krieg-Brückner (Eds.): Algebraic Foundations of Systems Specification . Springer-Verlag Berlin Heidelberg , Berlin / Heidelberg 1999, ISBN 3-642-64151-2 .
  • Frank Drewes, Hans-Jörg Kreowski: Picture generation by collage grammars . In: Hartmut Ehrig, Gregor Engels, Hans-Jörg Kreowski, Grzegorz Rozenberg (Hrsg.): Handbook of graph grammars and computing by graph transformation . tape 2 . World Scientific , Singapore 1999, ISBN 981-02-4020-1 , pp. 397-457 .
  • Wolfgang Hofkirchner , Hans-Jörg Kreowski (Eds.): Transhumanism - The proper guide to a posthuman condition or a dangerous idea? Series Cognitive Technologies, Springer 2019.

Web links

Individual evidence

  1. a b Curriculum Vitae of Prof. Dr Hans-Jörg Kreowski. University of Bremen, accessed on July 12, 2019 (English).
  2. ^ FIfF Board of Directors. FIfF, accessed July 12, 2019 .
  3. elections 2013. Leibniz-Sozietät der Wissenschaften zu Berlin, May 17, 2013, accessed on July 12, 2019 .
  4. Laszlo Scheuch and Holger Möhle: Cyber ​​center with command in Bonn is to be expanded. In: General-Anzeiger Bonn . January 18, 2018, accessed July 12, 2019 .
  5. Will robots help us or replace us? Bayerischer Rundfunk , June 23, 2016, accessed on July 12, 2019 .