Parallele Systeme - Personen & Kontakte

Parallele Systeme

Ältere Einträge

  • Im Winter 2011/2012 bot ich die beiden Module (Vorlesungen) Theoretische Informatik II und Komplexität von Algorithmen an.

    Wie üblich fand Freitags von 14 bis 16 Uhr ein Oberseminar (2.01.191) statt.

  • Im Sommer 2011 bot ich das Modul Petrinetze 1 an.

    Wie üblich fand regelmäßig Freitags von 14 bis 16 Uhr ein Diplomanden- und Doktorandenseminar (2.01.191) statt.

  • Im Sommer 2010 bot ich das Modul Theoretische Informatik 1 (Logik) an.

    Im Winter 2010/2011 plante ich die beiden Module (Vorlesungen) Model-Checking und Komplexität von Algorithmen. Letztere fand planmäßig statt. Zum ersten Mal überhaupt musste eine Vorlesung von mir mangels Beteiligung ausfallen: Model-Checking. Ich hatte dafür ein neues Skriptum vorbereitet, welches jetzt hier zu finden ist.

  • Im Winter 2009/2010 bot ich das Modul Komplexität von Algorithmen an.

    Wie üblich fand regelmäßig Freitags von 14 bis 16 Uhr ein Diplomanden- und Doktorandenseminar (2.01.191) statt.

  • Im Sommersemester 2009 bot ich die Module (Vorlesungen) Theoretische Informatik 1 (2.01.004) (Termine: Mittwochs und Freitags je 8 bis 10; Beginn: 8.4.2009) und Petrinetze 1 (2.01.112) an.

    Des Weiteren fand regelmäßig Freitags von 14 bis 16 Uhr ein Diplomanden- und Doktorandenseminar (2.01.191) statt.

  • Im Winter 2008/2009 befand ich mich im Forschungssemester mit Reisen nach Paris (E.Pelz) und Rennes (Ph.Darondeau). Für Studierende bedeutete dies hauptsächlich, dass ich nicht regelmäßig in der Abteilung anwesend war.

    Wie üblich fand regelmäßig Freitags von 14 bis 16 Uhr ein Diplomanden- und Doktorandenseminar (2.01.191) statt. Zu diesen Terminen war ich öfters anwesend.

  • Im Sommersemester 2008 bot ich das Modul Petrinetze (2.01.111) an.

    Außerdem war ich beteiligt an der Projektgruppe STEGO (2.01.181),

    Des Weiteren fand regelmäßig Freitags von 14 bis 16 Uhr ein Diplomanden- und Doktorandenseminar (2.01.191) statt.

  • Im Wintersemester 2007/2008 bot ich das Modul MODELCHECKING (2.01.113) an.

    ACHTUNG: Alle weiteren Informationen sind im Stud.IP zu finden!

    Des Weiteren fand regelmäßig Freitags von 14 bis 16 Uhr ein Diplomanden- und Doktorandenseminar (2.01.191) statt.

  • Im Sommersemester 2007 bot ich die Module (Vorlesungen) Theoretische Informatik 1 (2.01.004) (Termine: Mittwochs und Freitags je 8 bis 10; Beginn: 18.4.2007) und Petrinetze 1 (2.01.112) an.

    Die Projektgruppe STETZ ging in ihre 2. Halbzeit.

    Des Weiteren fand regelmäßig Freitags von 14 bis 16 Uhr ein Diplomanden- und Doktorandenseminar (2.01.191) statt.

  • Im Wintersemester 2006/2007 bot ich das Modul (die Vorlesung) Petrinetze 2 (2.01.112) an.

    Die Termine für 2.01.112 waren Di 10-12, Hörsaal A4 2-221 und Fr 10-12, A4 2-221. BEGINN:Dienstag, 24.10.2006

    Des Weiteren fand regelmäßig Freitags von 14 bis 16 Uhr ein Diplomanden- und Doktorandenseminar (2.01.191) statt.

  • Im Sommersemester 2006 bot ich das Modul (die Vorlesung) Automatentheorie und Logik (2.01.113) und das Modul (Vorlesung und Seminar) Effiziente Algorithmen (2.01.112) an.

    Die Termine für 2.01.113 waren Di 10-12, Hörsaal G und Do 8-10, A14 1-112.

    Der Termin für 2.01.112 war Di 16-18, A3 2-209.

    ACHTUNG: Alle weiteren Informationen sind im Stud.IP zu finden!

    Des Weiteren fand regelmäßig Freitags von 14 bis 16 Uhr ein Diplomanden- und Doktorandenseminar (2.01.191) statt. Einladungen wurden auf Anfrage verschickt.

  • Die Projektgruppe P-Umlaut stellte ihre Produkte Mitte März auf der CeBIT 2006 aus!

    Von einigen Veranstaltungen der letzten Semester - auch von der Vorlesung Theoretische Informatik II - gibt es neue Skript-Versionen, siehe Skripten.

    Die letzte Version des Petrinetze-Skriptums gibt es nur auf Anfrage und NUR für Teilnehmer/innen der Veranstaltung.

  • Im Wintersemester 2005/06 bot ich zusammen mit Harro Wimmel das Modul (die Vorlesung) Theoretische Informatik II (2.01.004) des 3. Semesters an. Die Termine waren:

    Di 10-12, Hörsaal G (Beginn: 18. Oktober 2005) und

    Do 10 - 12, Hörsaal 2.

    Alle weiteren Informationen sind im Stud.IP zu finden!

    Des Weiteren fand regelmäßig Freitags von 14 bis 16 Uhr ein Diplomanden- und Doktorandenseminar (2.01.191) statt. Einladungen wurden auf Anfrage verschickt.

    Die Projektgruppe P-Umlaut hat ihre Arbeiten (fast) abgeschlossen.

  • Im Sommersemester 2005 bot ich das Modul (die Vorlesung) Petrinetze (2.01.112), die Projektgruppe P-Umlaut, und ein Diplomanden- und Doktorandenseminar (2.01.191) an. Das Seminar fand Freitags von 14 bis 16 Uhr statt; Einladungen wurden auf Anfrage geschickt.
  • ACHTUNG: Informationen über die Veranstaltung 2.01.112 finden sich nicht hier, sondern im Stud.IP.
  • Im Wintersemester 2004/2005 bot ich das Modul (die Vorlesung) Automatentheorie und Logik (2.01.114), die Projektgruppe P-Umlaut, und das Seminar Kryptographie (2.01.162) an.
  • ACHTUNG: Informationen über die Veranstaltungen 2.01.114 und 2.01.162 fanden sich nicht hier, sondern im Stud.IP.
  • Die 2. Klausur (Nachklausur) zum Modul Kryptographie des Sommersemesters 2004 fand statt am 6. Oktober 2004 um 9:30 s.t. im HS-2, A-14. Die Ergebnisse stehen im Stud.IP.
  • Im Sommersemester 2004 bot ich das Modul Kryptographie an.
  • Außerdem veranstaltete ich gemeinsam mit Herrn Stiege das Seminar 2.01.162 Graphentheorie.
  • Im Sommersemester 2003 bot ich zusammen mit Harro Wimmel das Modul Petrinetze (Details können Sie ebenfalls aufrufen.) und das Seminar Anwendungen von Petrinetzen an.
  • Außerdem war ich beteiligt an der Projektgruppe LUSST (2.01.019), zu deren Homepage Sie ebenfalls gelangen können.
  • Im Wintersemester 2002/03 bot ich das Modul Grundlagen der Theoretischen Informatik (GTI) an und war beteiligt am Seminar Real-time Java.
    Das Skriptum zur Vorlesung GTI steht zur Verfügung
    Die Vorbesprechung zum Seminar Real-time Java fand statt am Freitag, dem 18.10.2002 um 14:15 im Raum A3-2-214.
  • Im Sommersemester 2002 hielt ich die Vorlesung Automatentheorie und Logik (erste Vorlesung: Mittwoch, 10.4.2002, 8:15, A10 Hörsaal F) und war beteiligt am Seminar Petrinetze und Model-Checking. Das Skriptum zur Vorlesung Automatentheorie und Logik ist abrufbereit.
    Das Seminar Petrinetze und Model-Checking. fand als Blockseminar gegen Ende der Vorlesungszeit statt.
  • Im Wintersemester 2001/2002 hielt ich die Vorlesung Modelchecking auf Halbordnungsbasis (2. Teil einer Stammvorlesung, erste Vorlesung: Dienstag, 16.10.2001, 8:15, A10 Hörsaal F, jedoch verlegt auf Montags, 18:15 bis 20:00 im Sportgebäude) und war beteiligt am Modul Grundlagen der Praktischen Informatik. Erste Vorlesung: 15.1.2002. Das Skriptum dazu steht zur Verfügung.
  • Im Sommersemester 2001 hielt ich die Vorlesung Petrinetze und war beteiligt an der Vorlesung Grundlagen der Praktischen Informatik.
  • Die Projektgruppe über Spiel-Programmierung (am Beispiel des Spiels Bridge), die im Wintersemester 2000/2001 mit ihrer Arbeit begonnen hat, wurde im Sommersemester 2001 fortgesetzt.
  • In the past semesters, a DNA Computing Advanced Project took place. Student members were Heiko Burchard, André Hackmann, Ernst Kretschmann, Stefan Kühnapfel and Astrid Rakow. They created a nicely featured test tube and laboratory environment which is also - hopefully - efficient. This project has been accepted and presented as a poster at a DNA conference in Leiden, 13-17 June 2000 (see publications). Don't hesitate to check the Hellics Project Page.
  • Recently I have been pretty heavily involved in planning new computer science curricula -- BSc degree holders conquer the job market;-) Plus I was made a Dean in April 2000 :-(, ending latest in March 2002 :-) [That's what I first believed, but it HAS finally ended by October 1, 2002.]
  • Im Sommersemester 2000 hielt ich die Vorlesung Theorie und Spiele. Inhalte u.a.: Spiele und Logik, Spiele und Parallele Systeme, Spiele und O.R., Grundzüge der Schachprogrammierung, Spiele und Graphen, konkrete Spiele: Nim, Schach, Go, Bridge, ...
  • Im Sommersemester 2000 fand ein Seminar über Modale Logik statt. Grundlage war das Buch von Sally Popkorn: First Steps in Modal Logic. Das Seminar fand an den Tagen 23.6.2000, 30.6.2000, 7.7.2000, 14.7.2000, jeweils von 13:00 bis 17:00 in Raum A3-209 statt, sowie am Nachbesprechungstermin 21.7.2000 (nachmittags).
  • Hans Fleischhack, Harro Wimmel and Christian Stehno have joined the ParSys group in 2000, while Heike Wehrheim, Burkhard Bieber, Burkhard Graves, Miltos Grammatikakis and Bernd Grahlmann have left. In 2000 we were happy to welcome three visitors to the group: Alexander Lavrov from April to July, Miltos Grammatikakis (together with his wife and newborn daughter) in July, and Angelika Votintseva (DAAD) from October 2000 to January 2001.