This home page has remained unbuilt since 1994. (I may very well
be world record holder in the category 'longest time taken to not
have built home page yet". Very soon now, this home page will contain
useful information, however. Really.)
Summer school (*) notes on Type
and effect systems and region-based memory management.
Here are some project
proposals for Master's theses in software development.
(*) ACM State-of-the-Art
Summer School on Foundations of Internet Security, June 14-23, 2002,
Duszniki Zdroj, Poland
The IT University of Copenhagen
2400 Copenhagen East