Programming Languages and Theory of Computing

Name	Title	Phone	Email
von Wachter, Carl Victor	PhD fellow		E-Mail
dfz719, dfz719	Research Assistant		E-Mail
Zdyb, Franciszek Olaf	Research Assistant		E-Mail
Winskel, Glynn	Affiliate professor, Visiting professor	+4535333529	E-Mail
Thygesen, Christian Bahne	PhD Student		E-Mail
Thomsen, Michael Kirkedal	Associate Professor	+4535336154	E-Mail
Svensson, Tethys Bundgaard	External Lecturer	+4535337710	E-Mail
Simonsen, Jakob Grue	Head of Department	+4535321439	E-Mail
Serykh, Dmitry	PhD fellow		E-Mail
Sanz Moreta, Lys	PhD Student, Postdoc	+45+34670735128	E-Mail
Rønning, Ola	PhD fellow, Postdoc	+4535327070	E-Mail
Ross, Omry	Associate Professor	+4535330673	E-Mail
Petersen, Tobias Hallundbæk	PhD Student	+4526855711	E-Mail
Oancea, Cosmin Eugen	Associate Professor	+4535335677	E-Mail
Mogensen, Torben Ægidius	Associate Professor	+4535335673	E-Mail
Mathiesen, Mikkel Kragh	Postdoc	+4523356780	E-Mail
Marchant, David Gray	Research assistant, Postdoc	+4535334648	E-Mail
Larsen, Ken Friis	Associate Professor	+4535335697	E-Mail
Jul, Eric	Professor, emeritus		E-Mail
Jensen, Thomas Philip	Professor		E-Mail
Hüttel, Hans	Part-time lecturer, Associate Professor		E-Mail
Hinnerskov, Nikolaj Hey	PhD student		E-Mail
Henriksen, Troels	Assistant professor, tenure track, Tenure Track Assistant Professor		E-Mail
Henglein, Fritz	Professor		E-Mail
Hamelryck, Thomas Wim	Professor	+4523960613	E-Mail

Previous 1 2 Next

4506 downloads
Troll, a Language for specifying Dice-rolls
Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
Published
4105 downloads
Requirements for Logical Models for Value-Added Tax Legislation
Research output: Contribution to conference › Paper › Research
Published
2506 downloads
Classifying VAT Legislation for Automation
Research output: Contribution to conference › Paper › Research
Published

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