Deutsch
EnglishInhaltsverzeichnis
Daniela Weinberg
wissenschaftliche Mitarbeiterin am Lehrstuhl Theorie der Programmierung
| Adresse | Humboldt-Universität zu Berlin Institut für Informatik Unter den Linden 6 10099 Berlin |
|---|---|
| Sitz | Humboldt-Universitä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 |
| weinberg@informatik.hu-berlin.de |
Lebenslauf
| 1998 - 1999 | Beginn des Studiums der Informatik an der TU Dresden |
|---|---|
| 1999 - 2004 | Studium der Informatik an der Humboldt-Universität in Berlin, Abschluß als Diplom-Informatiker |
| Sep. 2000 - Sep. 2001 | Softwareentwickler bei der KinderCampus AG |
| Sep. 2001 - Sep. 2003 | Softwareentwickler bei der INSIC GmbH |
| Nov. 2002 - Jan. 2003 | Werksstudent bei DResearch Digital Media Systems GmbH |
| Nov. 2004 - Dez. 2005 | Doktorand bei Fraunhofer FIRST |
| ab Jan. 2006 | wissenschaftliche Mitarbeiterin am Lehrstuhl ToP |
| Aug. 2004 | Teilnahme an ESSLI 2004 - 16th European Summer School in Logic, Language and Information |
| Mai 2005 | Teilnahme an der ICSE 2005 und am 2nd International ICSE workshop on Software Engineering for Automotive Systems |
| März 2007 - Sep. 2007 | co-op student am IBM TJ Watson Research Center, Hawthorne, NY (USA), Component Systems Group |
Betreuung von Studien- und Diplomarbeiten
laufende Arbeiten
- Robert Prüfer, Diplomarbeit
fertige Arbeiten
- Jan Sürmeli, Diplomarbeit (Januar, 2009)
- Mike Herzog, Studienarbeit (März, 2009)
- Robert Prüfer, Studienarbeit (März, 2009)
- Gerrit Müller, Studienarbeit (Januar, 2007)
- Ralf Immig, Studienarbeit (Februar, 2007)
Lehrveranstaltungen
vergangene Semester
- Übungen zur Vorlesung „Praktische Informatik I“ (WS 2007/2008)
- Praktikum „Methoden und Modelle des Systementwurfs“ (WS 2006/2007)
- Seminar „Systementwurf - model checking“ (WS 2006/2007)
Forschungsschwerpunkte
- Interaktionsgraphen
- Geschäftsprozesse