Name | Title | Phone | |
---|---|---|---|
Andersen, Finn Schiermer | Part-time lecturer, External Lecturer | ||
Avery, James Emil | Associate Professor | +4530229111 | |
Axelsen, Henrik Bjørn | PhD fellow | ||
Back, Christoffer Olling | External Postdoc | ||
Bonnet, Philippe | Professor | ||
Broløs, Matilde Mouritsen | Research Assistant | ||
Eklöf, Jon | PhD Student | ||
Elsman, Martin | Professor | +4535335683 | |
Filinski, Andrzej | Associate Professor | +4535335687 | |
Glück, Robert | Professor | +4529611655 | |
Grue, Klaus | Emeritus | ||
Hamelryck, Thomas Wim | Professor | +4523960613 | |
Henglein, Fritz | Professor | ||
Henriksen, Troels | Assistant professor, tenure track, Tenure Track Assistant Professor | ||
Hinnerskov, Nikolaj Hey | PhD student | ||
Hüttel, Hans | Part-time lecturer, Associate Professor | ||
Jensen, Thomas Philip | Professor | ||
Jul, Eric | Professor, emeritus | ||
Larsen, Ken Friis | Associate Professor | +4535335697 | |
Marchant, David Gray | Research assistant, Postdoc | +4535334648 | |
Mathiesen, Mikkel Kragh | Postdoc | +4523356780 | |
Mogensen, Torben Ægidius | Associate Professor | +4535335673 | |
Oancea, Cosmin Eugen | Associate Professor | +4535335677 | |
Petersen, Tobias Hallundbæk | PhD Student | +4526855711 | |
Ross, Omry | Associate Professor | +4535330673 | |
Rønning, Ola | PhD fellow, Postdoc | +4535327070 | |
Sanz Moreta, Lys | PhD Student, Postdoc | +45+34670735128 | |
Serykh, Dmitry | PhD fellow | ||
Simonsen, Jakob Grue | Head of Department | +4535321439 | |
Svensson, Tethys Bundgaard | External Lecturer | +4535337710 | |
Thomsen, Michael Kirkedal | Associate Professor | +4535336154 | |
Thygesen, Christian Bahne | PhD Student | ||
Winskel, Glynn | Affiliate professor, Visiting professor | +4535333529 | |
Zdyb, Franciszek Olaf | Research Assistant | ||
dfz719, dfz719 | Research Assistant | ||
von Wachter, Carl Victor | PhD fellow |
Most downloads
-
4520
downloads
Troll, a Language for specifying Dice-rolls
Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
Published -
4106
downloads
Requirements for Logical Models for Value-Added Tax Legislation
Research output: Contribution to conference › Paper › Research
Published -
2508
downloads
Classifying VAT Legislation for Automation
Research output: Contribution to conference › Paper › Research
Published
Latest publications
Explicit Effects and Effect Constraints in ReML
Research output: Contribution to journal › Journal article › Research › peer-review
Multi-Head Adapter Routing for Cross-Task Generalization
Research output: Contribution to conference › Paper › Research › peer-review
Partial Evaluation of Reversible Flowchart Programs
Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review