Hans-Jörg Kreowski

Hans-Jörg Kreowski (born 10 August 1949) is a professor for computer science at the University of Bremen in North West Germany. His primary research area is theoretical computer science with an emphasis on graph transformation, algebraic specification, and syntactic picture processing. He is also a member of the Forum of Computer Scientists for Peace and Social Responsibility (FIfF).

Hans-Jörg Kreowski
Born (1949-08-10) 10 August 1949
NationalityGerman
EducationTechnical University of Berlin
Alma materTechnical University of Berlin
Scientific career
FieldsTheoretical computer science
InstitutionsUniversity of Bremen
ThesisManipulationen von Graphmanipulationen (1978)
Doctoral advisorHartmut Ehrig

Education and career

Hans-Jörg Kreowski studied mathematics from 1969 to 1974 at the Technical University of Berlin in Germany with a scholarship of Studienstiftung des deutschen Volkes. From 1974 to 1978 he was a research assistant at the computer science department of the Technical University of Berlin where he wrote his doctoral thesis on manipulations of graph transformations and then held an assistant professorship. He obtained his habilitation in 1982 and was appointed professor of theoretical computer science at the University of Bremen in Germany in the same year. There, along with colleagues such as Frieder Nake, Wolfgang Coy, Klaus-Peter Löhr and Hermann Gehring, he significantly shaped the development of the computer science department.

In 1985 Kreowski was a guest researcher at the IBM T.J. Watson Research Center in Yorktown Heights (N.Y, USA). He founded the IFIP Working Group 1.3 (Foundations of Systems Specifications) in 1992 and was its first chairman until 1997. He is also a member of the European Association for Theoretical Computer Science (EATCS), the Gesellschaft für Informatik , and the Forum of Computer Scientists for Peace and Social Responsibility which he chaired from 2003 to 2009. In 1996 he was conferred the Outstanding Service Award by the International Federation of Information Processing and in 2001 he was awarded the IFIP Silver Core.[1][2] Since 2013 Hans Jörg Kreowski is also a member of the Leibniz Scientific Society.[3]

Research

Kreowski has authored over 160 scientific publications with fundamental contributions to the theory and applications of graph transformation, syntactic picture generation, and algebraic specification.[4][5] He co-edited over 15 books, among them two handbooks on graph transformation.[6][7] The edited books span his main research areas and such diverse topics as computer science and society, logistics, and formal methods in software and systems modeling.[8][9][10][11] For many years he was the editor for the Educational Matters Column within the Bulletin of the European Association for Theoretical Computer Science.

Selected publications

  • Kreowski, Hans-Jörg; Kuske, Sabine (2012). "Polynomial Graph Transformability". Theoretical Computer Science. 429: 193–201. doi:10.1016/j.tcs.2011.12.039..
  • Kreowski, Hans-Jörg; Kuske, Sabine (2011). "Graph Multiset Transformation - A New Framework for Massively Parallel Computation Inspired by DNA Computing". Natural Computing. 10 (2): 961–986. doi:10.1007/s11047-010-9245-6. S2CID 13576985..
  • Kreowski, Hans-Jörg; Kuske, Sabine; von Totth, Caroline (2011). "Modeling Production Networks with Discrete Processes by Means of Communities of Autonomous Units". Logistics Research. 3 (2–3): 159–175. CiteSeerX 10.1.1.221.821. doi:10.1007/s12159-011-0054-9. S2CID 17050132..
  • Hölscher, Karsten; Kreowski, Hans-Jörg; Kuske, Sabine (2009). "Autonomous Units to Model Interacting Sequential and Parallel Processes". Fundamenta Informaticae. 92 (3): 233–257. doi:10.3233/FI-2009-0073..
  • Kuske, Sabine; Gogolla, Martin; Kreowski, Hans-Jörg; Ziemann, Paul (2009). "Towards an integrated graph-based semantics for UML". Software and Systems Modeling. 8 (3): 403–422. doi:10.1007/s10270-008-0101-4. S2CID 8866591..
  • Busatto, Giorgio; Kreowski, Hans-Jörg; Kuske, Sabine (2005). "Abstract Hierarchical Graph Transformation". Mathematical Structures in Computer Science. 15 (4): 773–819. CiteSeerX 10.1.1.164.7782. doi:10.1017/s0960129505004846. S2CID 14709890..
  • Drewes, Frank; Klempien-Hinrichs, Renate; Kreowski, Hans-Jörg (2003). "Table-driven and context-sensitive collage languages". Journal of Automata, Languages and Combinatorics. 8: 5–24..
  • Drewes, Frank; Ewert, Sigrid; Klempien-Hinrichs, Renate; Kreowski, Hans-Jörg (2003). "Computing Raster Images from Grid Picture Grammars". Journal of Automata, Languages and Combinatorics. 8: 499–519..
  • Kreowski, Hans-Jörg; Kuske, Sabine (1999). "Graph Transformation Units with Interleaving Semantics". Formal Aspects of Computing. 11 (6): 690–723. CiteSeerX 10.1.1.57.1385. doi:10.1007/s001659970005. S2CID 818602..
  • Habel, Annegret; Kreowski, Hans-Jörg; Taubenberger, Stefan (1993). "Collages and Patterns Generated by Hyperedge Replacement". Languages of Design. 1: 125–145..

References

  1. "IFIP Newsletter, December 1996".
  2. "Minutes of the IFIP General Assembly Meeting, 2001" (PDF).
  3. "Mitglieder der Leibniz-Sozietät".
  4. Hans-Jörg Kreowski at DBLP Bibliography Server
  5. Drewes, Frank; Habel, Annegret; Hoffmann, Berthold; et al. (eds.). "Manipulation of Graphs, Algebras and Pictures, Essays Dedicated to Hans-Jörg Kreowski on the Occasion of His 60th Birthday" (PDF).
  6. Ehrig, Hatmut; Engels, Gregor; Kreowski, Hans-Jörg; et al., eds. (1999). Handbook of Graph Grammars and Computing by Graph Transformation, Vol. 2: Applications, Languages and Tools. Singapore: World Scientific.
  7. Ehrig, Hartmut; Kreowski, Hans-Jörg; Montanari, Ugo; et al., eds. (1999). Handbook of Graph Grammars and Computing by Graph Transformation, Vol. 3: Concurrency, Parallelism, and Distribution. World Scientific.
  8. Astesiano, Egidio; Kreowski, Hans-Jörg; Krieg-Brückner, Bernd, eds. (1999). Algebraic Foundations of Systems Specification. Springer.
  9. Kreowski, Hans-Jörg, ed. (2008). Informatik und Gesellschaft. LIT Verlag. ISBN 9783825887681.
  10. Kreowski, Hans-Jörg; Scholz-Reiter, Bernd; Thoben, Klaus-Dieter, eds. (2013). Dynamics in Logistics, Third International Conference, LDIC 2012 Bremen, Germany, February/March 2012 Proceedings. Lecture Notes in Logistics. Springer.
  11. Kreowski, Hans-Jörg; Montanari, Ugo; Orejas, Fernando; Rozenberg, Grzegorz; Taentzer, Gabriele, eds. (2005). Formal Methods in Software and System Modeling. Volume 3393 of Lecture Notes in Computer Science. Springer.
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.