1 wolf_karsten_pic.jpg 26137 7f6d7ce039d095addbbf4dc6a099ab7a Wolf geb. Schmidt Karsten Prof. Dr. rer. nat. habil. seit 2006 cpr_person_00001606 gregorian 2453737 2006-01-01 AD 3182057 4000-01-28 AD Professor für Theorie der Programmiersprachen und Programmierung seit 2006 gregorian 2453737 2006-01-01 AD 3182057 4000-01-28 AD Institut für Informatik Entwicklung korrekter Systeme, computergestützte Verifikation, Algorithmen für Web Services seit 2006 gregorian 2453737 2006-01-01 AD 3182057 4000-01-28 AD karsten.wolf@uni-rostock.de 03.03.1967 gregorian 2439553 1967-03-03 AD 2439553 1967-03-03 AD Berlin-Friedrichshain male Wolfgang Schmidt Kriminalist Karola Schmidt, geb. Wilfert Lehrerin 1985 Abitur, Berlin Berlin 1985-1988 Wehrdienst 1988-1993 Studium der Informatik, Humboldt Univ. Berlin Berlin 1993-1996 wiss. Mitarbeiter, Humboldt Univ. Berlin Berlin 1996 Forscher (Stipendiat des Deutschen Akademischen Auslandsdienstes), TU Helsinki (Finnland) Helsinki 1997 Post-Doc-Stipendiat (Graduiertenkolleg der Deutschen Forschungsgemeinschaft), TU Dresden Dresden 1997-2005 wiss. Mitarbeiter, Humboldt Univ. Berlin Berlin 2000-2001 Forscher, Carnegie Mellon Univ. Pittsburgh (USA) Pittsburgh seit 2006 Professor für Theorie der Programmiersprachen und Programmierung, Univ. Rostock Rostock 1993 Dipl.-Informatiker, Humboldt-Univ. Berlin Berlin 1996 Dr. rer. nat., Humboldt-Univ. Berlin Symbolische Analysemethoden für algebraische Petri-Netze. Berlin 2002 Dr. rer. nat. habil. (Informatik), Humboldt-Univ. Berlin Explicit State Space Verification. Berlin seit 2006 Mitglied der Studienkommission Informatik seit 2006 Mitglied der Studienkommission Wirtschaftsinformatik 2007-2010 Mitglied, ab 2008 Vorsitzender des Prüfungsausschusses am Institut für Informatik seit 2009 Institutsvertreter im Fakultätentag Informatik seit 2010 Studiendekan seit 2012 Mitglied des Akademischen Senats seit 2012 Mitglied im Direktorium des Zentrums für Lehrerbildung # Sprecher der Fachgruppe "Petrinetze und verwandte Systemmodelle" der Gesellschaft für Informatik Dirk Fahland, Cédric Favre, Jana Koehler, Niels Lohmann, Hagen Völzer, and Karsten Wolf. Analysis on Demand: Instantaneous Soundness Checking of Industrial Business Process Models. Data Knowl. Eng., 70(5):448-466, 2011. Niels Lohmann and Karsten Wolf. Artifact-Centric Choreographies. In Paul Maglio, Mathias Weske, Jian Yang, and Marcelo Fantinato, editors, 8th International Conference on Service Oriented Computing, ICSOC 2010, December 7-10, 2010, San Francisco, California, USA, Proceedings, volume 6470 of Lecture Notes in Computer Science, pages 32-46, December 2010. Springer-Verlag. Karsten Wolf. Generating Petri Net State Spaces. In Jetty Kleijn and Alex Yakovlev, editors, 28th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, ICATPN 2007, Siedlce, Poland, June 25-29, 2007, Proceedings, volume 4546 of Lecture Notes in Computer Science, pages 29-42, June 2007. Springer-Verlag. Invited lecture. Lars Michael Kristensen, Karsten Schmidt, and Antii Valmari. Question-Guided Stubborn Set Methods for State Properties. Formal Methods in System Design, 29(3):215-251, November 2006. Sebastian Hinz, Karsten Schmidt, and Christian Stahl. Transforming BPEL to Petri Nets. In Wil M. P. van der Aalst, B. Benatallah, F. Casati, and F. Curbera, editors, Proceedings of the Third International Conference on Business Process Management (BPM 2005), volume 3649 of Lecture Notes in Computer Science, pages 220-235, September 2005. Springer-Verlag. 124773052 long 2007-11-19T13:59:26.555Z 2022-11-17T17:35:33.830Z ccwahrmann administrator