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).