Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456
Anders Møller
[go: Go Back, main page]

Anders Møller
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
PhD, 2002. Assistant Professor at BRICS, Department of Computer Science, University of Aarhus.

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.

Valid CSS! Valid HTML 4.01!