Intet billede af Torben Ægidius Mogensen
  • Universitetsparken 5, 2100 København Ø, 01 Sigurdsgade 41, 01-0-08

  • Universitetsparken 5

    2100 København Ø

Personlig profil

Undervisnings- og vejledningsområder

Compilers, programming language technology, language design, games.

Aktuel forskning

Domain-specific languages, program semi-inversion.

Sprogkundskaber

Danish, English and a smattering of German and Romanian.

Primære forskningsområder

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.

Samarbejde og topforskningsområder i de sidste fem år

Seneste eksterne samarbejde på lande-/områdeniveau. Dyk ned i detaljerne ved at klikke på prikkerne eller
  • Preface

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

    Publikation: Bidrag til bog/antologi/rapportForord/efterskriftForskning

  • Fast Control for Reversible Processors

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

    Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningpeer review

    Åben adgang
    Fil
    22 Downloads (Pure)
  • Hermes: A reversible language for lightweight encryption

    Mogensen, T. Æ., 2022, I: Science of Computer Programming. 215, 26 s., 102746.

    Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

    Åben adgang
    Fil
    4 Citationer (Scopus)
    10 Downloads (Pure)
  • Programming Language Design and Implementation

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

    Publikation: Bog/antologi/afhandling/rapportBogForskningpeer review

  • Reversible Functional Array Programming

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

    Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningpeer review

    2 Citationer (Scopus)
  • Hermes: A Language for Light-Weight Encryption

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

    Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningpeer review

    Fil
    1 Citationer (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. (red.). Springer VS, s. 41-59 19 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 12070 LNCS).

    Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningpeer review

    Åben adgang
    Fil
    13 Citationer (Scopus)
    23 Downloads (Pure)
  • Hermes: A Reversible Language for Writing Encryption Algorithms (Work in Progress)

    Mogensen, T. Æ., jan. 2019, Perspectives of System Informatics: 12th International Andrei P. Ershov Informatics Conference, PSI 2019, Revised Selected Papers. Bjørner, N., Virbitskaite, I. & Voronkov, A. (red.). Springer VS, s. 243-251 9 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 11964 LNCS).

    Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningpeer review

    2 Citationer (Scopus)