Rechnergestützte Programmentwicklung Institut für Informatik Technische Fakultät, Christian-Albrechts-Universität zu Kiel

Ulf Milanese

Postanschrift: Christian-Albrechts-Universität zu Kiel Institut für Informatik und Praktische Mathematik Olshausenstraße 40 D-24098 Kiel Besucheradresse: Christian-Albrechts-Platz 4 / Zimmer 702 D-24118 Kiel Telefon: ++49-431 880-72 63 Telefax: ++49-431 880-76 13 E-Mail: umi@informatik.uni-kiel.de

Arbeitsgebiete

• Binäre Entscheidungsdiagramme (BDDs)
• BDD-basierte Repräsentation von Relationen
• Entwicklung einer BDD-basierten Version von RelView
• Visualisierung von Algorithmen über Relationen
• Analyse von projektiven Geometrien
• Lösen von 3-SAT-Instanzen mit Hilfe von Relationenalgebra

Kurzbiographie

• Geboren am 14. Dezember 1967 in Flensburg, Deutschland
• 1993 Abitur
• 1994 - 1999 Studium der Informatik an der Christian-Albrechts-Universität zu Kiel
• 1999 Diplomprüfung (unter der Betreuung von R. Berghammer) an der Christian-Albrechts-Universität zu Kiel
• 1999 - 2003 Wiss. Angestellter am Institut für Informatik und Praktische Mathematik an der Christian-Albrechts-Universität zu Kiel
• 2003 Promotion

Publikationsliste

Eininge ausgewählte Arbeiten