No photo of Torben Ægidius Mogensen

Torben Ægidius Mogensen

Ph.D.

 https://orcid.org/0000-0003-4862-9193

  • Universitetsparken 5, 2100 København Ø, 01 Sigurdsgade 41, 01-0-08

  • Universitetsparken 5

    2100 København Ø

Personal profile

Teaching

Compilers, programming language technology, language design, games.

Current research

Domain-specific languages, program semi-inversion.

Knowledge of languages

Danish, English and a smattering of German and Romanian

Primary fields of research

automatic program analysis and transformation (in particular partial evaluation and program semi-inversion), compiler technology (in particular for functional languages), domain-specific languages and occasionally algorithms, complexity, automata theory, fractals and graphics.

Collaborations and top research areas from the last five years

Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
Explore network further

  • Introduction to compiler design (3rd ed.)

    Mogensen, T. Æ., 2024, Springer. 287 p. (Undergraduate Topics in Computer Science (UTICS)).

    Research output: Book/Report › Book › Education

  • Preface

    Mogensen, T. Æ. & Mikulski, Ł., 2024, Reversible Computation - 16th International Conference, RC 2024, Toruń, Poland, July 4–5, 2024, Proceedings. Springer, Vol. 14680 LNCS. p. 3-9 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

    Research output: Chapter in Book/Report/Conference proceeding › Preface/postscript › Research

  • Fast Control for Reversible Processors

    Mogensen, T. A., 2022, Reversible Computation: 14th International Conference, RC 2022 Urbino, Italy, July 5–6, 2022 Proceedings. Mezzina, C. & Podlaski, K. (eds.). Springer, p. 51-64 (Lecture Notes in Computer Science, Vol. 13354).

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

    Open Access
    File
    33 Downloads (Pure)

  • Hermes: A reversible language for lightweight encryption

    Mogensen, T. Æ., 2022, In: Science of Computer Programming. 215, 26 p., 102746.

    Research output: Contribution to journal › Journal article › Research › peer-review

    Open Access
    File
    4 Citations (Scopus)
    18 Downloads (Pure)

  • Programming Language Design and Implementation

    Mogensen, T. Æ., 2022, Springer. 321 p. (Texts in Computer Science).

    Research output: Book/Report › Book › Research › peer-review

  • Reversible Functional Array Programming

    Mogensen, T. Æ., 2021, Reversible Computation 13th International - 13th International Conference, RC 2021, Proceedings. Yamashita, S. & Yokoyama, T. (eds.). Springer, p. 45-63 19 p. (Lecture Notes in Computer Science, Vol. 12805 ).

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

    2 Citations (Scopus)

  • Hermes: A Language for Light-Weight Encryption

    Mogensen, T. Æ., 2020, Reversible Computation - 12th International Conference, RC 2020, Proceedings. Lanese, I. & Rawski, M. (eds.). Springer, p. 93-110 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 12227 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

    File
    1 Citation (Scopus)

  • Software and reversible systems: A survey of recent activities

    Mezzina, C. A., Schlatte, R., Glück, R., Haulund, T., Hoey, J., Holm Cservenka, M., Lanese, I., Mogensen, T., Siljak, H., Schultz, U. P. & Ulidowski, I., 2020, Reversible Computation: Extending Horizons of Computing - Selected Results of the COST Action IC1405. Ulidowski, I., Lanese, I., Schultz, U. P. & Ferreira, C. (eds.). Springer VS, p. 41-59 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 12070 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

    Open Access
    File
    14 Citations (Scopus)
    35 Downloads (Pure)
View all 56 research outputs