Henrik Reif Andersen

Position:

PhD, Former Professor at the IT University of Copenhagen.

From 1 September 2007 I have left the ITU to become fulltime CEO of Configit.

Former Head of the Computational Logic and Algorithms Group

Co-founder and CEO of Configit A/S

Research interests:

Verification of concurrent systems. Model checking. Verification of timed systems. Configuration problems and configuration software. Constraint satisfaction problems. SAT-solving. Binary Decision Diagrams.
Relevant local links: FIRST Graduate School, USEC Research Consortium, NEXT Research Project with Microsoft Business Solutions

More information:

• PhD dissertation in PostScript, PhD dissertation in PDF
• Most recent publications, Older Publications
• Lecture notes
• Slide sets

PhD-students:

• Esben Rune Hansen (supervised jointly with Rasmus Pagh)
• Peter Tiedemann (supervised jointly with Rasmus Pagh)

• Tarik Hadzic (now at 4C, Cork, Ireland.)
• Sathimoorthy Subbarayan (Sathi) (now Independent Consultant, Chennai, India)
• Erik van der Meer (now at Microsoft Development Center Copenhagen)
• Jesper Møller (now at Configit)
• Poul F. Williams (now at Synopsys) (Poul's dissertation)
  
• Simon Mørk (now at Maconomy)
• Jørn Lind-Nielsen (now at CBrain) (Jørn's dissertation)

Address:

Henrik Reif Andersen
IT University of Copenhagen
Rued Langgaards Vej 7
DK-2300 Copenhagen S
Denmark

E-mail: hra at itu.dk

Comments to: hra at itu.dk
Last update: Jun 19 2008