Synopsis

• Assistant professor at the IT University of Copenhagen, Denmark, Dept. of Innovation.

Contact information

• Address: IT University of Copenhagen, Dept. of Innovation, Rued Langgaards Vej 7, DK-2300 Copenhagen S, Denmark.
• Office: 4E09
• Phone (direct): (+45) 72 18 50 76
• Phone (reception): (+45) 72 18 50 00
• Fax: (+45) 72 18 50 01
• E-mail: hniss@itu.dk.
• Web page: http://www.itu.dk/~hniss/.

Personal

• Address: Henrik Steffens Vej 6, st. th, DK-1866 Frederiksberg C, Denmark.
• Phone: (+45) 35 26 59 58.
• Date of birth: August 28, 1970, Denmark.
• Nationality: Danish.

Research

Main interests:

• Programming language technology for distributed and mobile applications (http://www.plan-x.org/).
• Location-based services and context-dependent mobile communication.
• Region-based memory management.
• Program analysis.
• Software engineering.

Selected publications:

• Fritz Henglein, Henning Makholm, Henning Niss: Effect Types and Region-Based Memory Management. To appear in the forthcoming book Advanced Topics in Types and Programming Languages (ed. Benjamin Pierce). MIT Press 2005.
• Ken Friis Larsen, Henning Niss. mGTK: An SML Binding of Gtk+. USENIX Freenix Track 2004. ( pdf )
• Fritz Henglein, Henning Makholm, Henning Niss. A Direct Approach to Control-Flow Sensitive Region-Based Memory Management. PPDP 2001. ( abstract | dvi | ps )
• Peter Harry Eidorff, Fritz Henglein, Christian Mossin, Henning Niss Morten Heine Sørensen, Mads Tofte. AnnoDomini: From Type Theory to Year 2000 Conversion Tool. Invited paper, POPL 1999. ( abstract | dvi | ps )
• Henning Niss. An Unfold/Fold Framework for First-Order Hereditary Harrop Formulas: Transformations and Correctness Proofs. Master's Thesis. Further information. ( dvi | ps )
• Henning Niss and John Hatcliff. Formalizing operationa semantics in Logical frameworks. A critical review of LF/Elf. Proceedings of the Nordic Workshop on Programming Theory, November 1995. ( dvi | ps )

Participation in research projects:

• The LaCoMoCo project at ITU
• The Plan-X project at ITU / DIKU
• The BANE project at University of California, Berkeley.
• The AnnoDomini project at DIKU.
• The DART project at DIKU.

Teaching

Courses taught:

• Fall 2004: Interactive web applications and services with Java and XML (ITU)
• Fall 2004: Distributed Systems (ITU)
• Spring 2004: Distributed Systems (ITU)
• Spring 2004: Peer-to-Peer Storage Systems (ITU)
• Fall 2003: Advanced language implementation and language-based security (ITU)
• Fall 2003: Interactive web services with Java and XML (ITU)
• Spring 2003: Software technology for distributed and mobile applications (graduate seminar, DIKU)
• Fall 2002: Issues in distributed and mobile data and software (graduate seminar, DIKU)
• Fall 1999: Constraint-based program analysis (graduate course, DIKU)

Project supervision:

I am currently co-supervising a Ph.D. student. I have supervised three Master's Thesis projects and a number of smaller projects at DIKU and ITU.

Industry and software

Start-up company:

• Hafnium ApS. A Copenhagen-based company specializing in knowledge-intensive applications of programming language technology. Example product: a Year 2000 conversion tool called AnnoDomini.

Software projects:

• mGTK. A Standard ML binding for GTK+. Co-developer, with Ken Friis Larsen, of the project.

Education and experience

Degrees:

• 1997-2002: PhD in Computer Science (Dept. of Computer Science);
• 1993-1997: Msc in Computer Science (Dept. of Computer Science);
• 1990-1993: BSc in Computer Science (Dept. of Computer Science);
• 1989-1993: BSc in Mathematics (Dept. of Mathematics);
• 1986-1989: School leaving examination (Albertslund Amtsgymnasium).

Positions:

• 2003-today: Assistant professor (Dept. of Innovation, IT University);
• 2001-2002: Research assistant professor (Dept. of Computer Science);
• 1998-2001: Software Engineer and IT consultant (Hafnium ApS);
• 1998-1998: Research assistant (Dept. of Computer Science);
• 1997-1998: Software Engineer and Web developer (Politiken);
• 1995-1997: Software Engineer (SimplyFile);
• 1993-1994: Software Engineer (AIM Nielsen).

Conference and workshop organization:

• Context-Aware Computing conference, Copenhagen, 2004 (with Lars Birkedal).
• Workshop on Semantics, Program Analysis and Computing Environments for Memory Management (SPACE), London, 2001 (with Fritz Henglein, John Hughes, Henning Makholm).

Refereeing:

I have served as a referee for a number of conferences (TACS, PLILP, ICFP, SPACE) and a journal (HOSC).

Travel

Long and short term visits:

• University of California, Berkeley (August 1998 - June 1999). Host: Alexander Aiken.
• Oklahoma State University (July, August 1997). Host: John Hatcliff.
• Kansas State University (August 1997). Host: David Schmidt.

Summerschools etc.:

• Schloss Dagstuhl Advanced course on the Principles of Program Analysis (November 1998).
• Marktoberdorf International Summer School on Mathematical Methods in Program Development (July 1996).