|
|
Anders Møller Dept. of Computer Science University of Aarhus IT-parken, Aabogade 34 DK-8200 Aarhus N, Denmark |
Office: Turing.121 Phone: (+45) 8942 5777 Fax: (+45) 8942 5601 Email: amoeller@brics.dk |
Main research interests include programming language design, program analysis and verification, XML and Web services, and applications of mathematical logics.
Curriculum Vitae (PDF). DBLP entry. CiteSeer.
Program committee member of ESOP'05
and PLAN-X'05.
General chair of PLAN-X'06, to be held in conjunction with POPL'06 in Charleston, South Carolina, 14 January 2006.