Computer-Aided Program Development Institute of Computer Science Faculty of Engineering, Christian-Albrechts-University of Kiel

Ulf Milanese

Postal Address: Christian-Albrechts-Universität zu Kiel Institut für Informatik und Praktische Mathematik Olshausenstraße 40 D-24098 Kiel Office Address: Christian-Albrechts-Platz 4 / Room 702 D-24118 Kiel Phone: ++49-431 880-72 63 Fax: ++49-431 880-76 13 E-mail: umi@informatik.uni-kiel.de

Fields of Research

• Binary Decision Diagrams (BDDs)
• BDD-based representation of relations
• Development of a BDD-based version of RelView
• Visualisation of algorithms for relations
• Analysis of projective geometries
• Solving instances of 3-SAT using relational algebra

Biography

• December 14th, 1967 born in Flensburg, Germany
• 1993 German "Abitur"
• 1994 - 1999 Studies of Computer Science, Christian-Albrechts-University of Kiel
• 1999 Diploma Examination (under the supervision of R. Berghammer) at the Christian-Albrechts-University of Kiel
• 1999 - 2003 Research Assistant at the Institute of Computer Science and Applied Mathematics of the Christian-Albrechts-University of Kiel
• 2003 Ph. D.

List of publications

Some selected publications