Nyt om navne

Martin Lange is an assistant professor at the chair for theoretical computer science of the Ludwig-Maximilians-University of Munich, Germany. He obtained his PhD from the University of Edinburgh where he studied under the supervision of Colin Stirling at the Laboratory for the Foundations of Computer Science from 1999-2002. Prior to that he studied computer science at Aachen University of Technology and obtained a diploma (MSc) in 1999.
His main research areas are formal languages, automata and logics, in particular modal and temporal logics. During his PhD studies he has developed game-theoretic characterisations for their decision problems. In recent years he has focussed on the categorisation of highly expressive temporal logics.
He has published 30 refereed papers in journals, conference and workshop proceedings, reviewed for several journals and conferences and is a member of the programm committee for ICALP'07, track B.
His main scientific achievement is the proof of a complexity-theoretic lower bound for a certain dynamic program logic which had been open for ca. 20 years.
Martin will spend a 12 month sabbatical at DAIMI (Sep 06 - Aug 07).

Ny medarbejder på Alexandra Den allestedsnærværende Karen Falkenberg Lund er fra 15. november ansat på Alexandra Instituttet som netværkskoordinator fire dage om ugen. Karen har tidligere været projektleder på en del projekter på både daimi, imv og Alexandra.
Senest fulgte hun i efterårsferien den succesrige it-camp for piger til dørs. Nu er hun selv et skridt nærmere at være ”pige i it”, eftersom hun fremover skal være koordinator på NIAS – netværk for innovative administrative systemer.
NIAS har til formål at bygge bro og skabe videndeling mellem store organisationer – både private og offentlige – og forskning inden for bl.a. software, netværk og new ways of working, så de administrative systemer kan komme på omdrejningshøjde med nye arbejdsformer og organisationsændringer i moderne organisationer.

Henrik Blunck has just received his PhD grade in computer science from the University of Muenster, Germany, and has now started his employment as post-doctoral researcher in the group of Prof. Lars Arge at the Department of Computer Science.
His research interests include computational geometry and moving objects databases and focus mainly on the algorithmic handling of geometric and time-variant data considering limited hardware resources.
Henrik's work will be part of the project entitled "Efficient Handling of Massive Terrain Data" funded by the Danish Strategic Research Council.