Ehemaliger Mitarbeiter (03/2007 - 10/2007)

Jan Bretschneider

wissenschaftlicher Mitarbeiter am Lehrstuhl Theorie der Programmierung

Adresse

Humboldt-Universität zu Berlin
Institut für Informatik
Unter den Linden 6
10099 Berlin

Sitz

Humboldt-Universitiät zu Berlin
Institut für Informatik
Haus IV, 4. Etage, Raum 412

Rudower Chaussee 25
12489 Berlin

Sprechstunde

nach Vereinbarung (E-Mail bevorzugt)

Telefon

+49 30 2093-3083

Fax

+49 30 2093-3067

E-Mail

20.11.1981	Geboren in Strausberg.
08/1994 – 06/2001	Abitur am Heinrich-Hertz-Gymnasium in Berlin.
11/2001 – 08/2002	Zivildienst im Kino Kiste des Steinstatt e.V. in Berlin-Hellersdorf.
10/2002 – 03/2007	Studium der Informatik mit Nebenfach Volkswirtschaftslehre an der Humboldt-Universität zu Berlin, Abschluss als Diplom-Informatiker.
07/2003 – 06/2004	Studentischer Mitarbeiter beim Fraunhofer Institut für Rechnerarchitektur und Softwaretechnik im Bereich Planungstechnik.
07/2004 – 03/2007	Studentischer Mitarbeiter am Lehrstuhl Theorie der Programmierung in den Projekten GALS und Tools4BPEL.
03/2007 – 10/2007	Wissenschaftlicher Mitarbeiter am Lehrstuhl Theorie der Programmierung.

Christian Stahl, Peter Massuthe, and Jan Bretschneider. Deciding Substitutability of Services with Operating Guidelines. Transactions on Petri Nets and Other Models of Concurrency II, Special Issue on Concurrency in Process-Aware Information Systems, 2(5460): 172-191, March 2009.
Christian Stahl, Peter Massuthe, and Jan Bretschneider. Deciding Substitutability of Services with Operating Guidelines. Informatik-Berichte 222, Humboldt-Universität zu Berlin, April 2008.

Wolfgang Reisig, Karsten Wolf, Jan Bretschneider, Kathrin Kaschner, Niels Lohmann, Peter Massuthe, and Christian Stahl. Challenges in a Service-Oriented World. ERCIM News, 70: 28-29, July 2007.
Wolfgang Reisig, Jan Bretschneider, Dirk Fahland, Niels Lohmann, Peter Massuthe, and Christian Stahl. Services as a Paradigm of Computation. In Cliff B. Jones, Zhiming Liu, and Jim Woodcock, editors, Formal Methods and Hybrid Real-Time Systems, Essays in Honor of Dines Bjorner and Chaochen Zhou on the Occasion of Their 70th Birthdays, Papers presented at a Symposium held in Macao, China, September 24-25, 2007, volume 4700 of Lecture Notes in Computer Science, pages 521-538, September 2007. Springer-Verlag.
Jan Bretschneider. Produktbedienungsanleitungen zur Charakterisierung austauschbarer Services. Diplomarbeit, Humboldt-Universität zu Berlin, March 2007.

Jan Bretschneider. Modellierung und Synthese eines geschwindigkeitsinvarianten GALS-Wrappers. Studienarbeit, Humboldt-Universität zu Berlin, February 2006.