University of Copenhagen — Denmark
Computer Science · Physical Sciences
Accepting Students?
No reports yet. Know if this professor is taking students?
Research Topics
Logic, programming, and type systems(79), Parallel Computing and Optimization Techniques(41), Computability, Logic, AI Algorithms(36), Formal Methods in Verification(29), Quantum Computing Algorithms and Architecture(29)
Publications165 total
Frequent Co-authors
Holger Bock Axelsen(11), Tetsuo Yokoyama(9), Morten Heine Sørensen(8), Jesper Jørgensen(6), Masahiko Kawabe(5), Bern Martens(3), Michael Kirkedal Thomsen(3), Sergei Abramov(3), Robert Zöchling(3), J. Jørgensen(2), Robin Kaarsgaard(2), N. D. Jones(1), Krzysztof Czarnecki(1), Ulrich W. Eisenecker(1), David Vandevoorde(1), Todd L. Veldhuizen(1), Andrei V. Klimov(1), Danny De Schreye(1), Michaël Leuschel(1), Neil D. Jones(1)