Staff – University of Copenhagen

Robert Glück

Robert Glück

Professor

Robert Glück is a Professor of Computer Science at the University of Copenhagen and a Visiting Professor at the National Institute of Informatics, Tokyo. His main research interests are programming languages and software systems. His current research focus is on reversible computing, program generation, and metaprogramming.

He has chaired and edited the proceedings of several conferences and workshops published by Springer and by the ACM. According to Google Scholar, Glück's publications had an h-index of 35.

Glück has been the principle investigator of a number of research awards and projects. He received fellowships from the Japan Society for the Promotion of Science (JSPS) and a PRESTO Basic Research grant from the Japan Science and Technology Agency (JST). He led projects funded by the Danish Councils for Strategic Research (DSF) and for Independent Research (FNU).

He currently serves on the Study Board of Mathematics and Computer Science at the Faculty of Science and was the Head of Studies of the Master in Computer Science.

Other information: Dissemination video "Think efficiently: think reversibly - Towards low-energy computing" about the MicroPower research project on reversible computing models.

Selected publications

  1. Published

    Reversible computing: foundations and software: Preface of Special Issue

    Glück, R. & Yokoyama, T., 2018, In : New Generation Computing. 36, 3, p. 143-144

    Research output: Contribution to journalJournal articleResearch

  2. Published

    Fundamentals of reversible flowchart languages

    Yokoyama, T., Axelsen, H. B. & Glück, R., 2016, In : Theoretical Computer Science. 611, p. 87-115 29 p.

    Research output: Contribution to journalJournal articleResearchpeer-review

  3. Published

    On reversible Turing machines and their function universality

    Axelsen, H. B. & Glück, R., 2016, In : Acta Informatica. 53, 5, p. 509-543 35 p.

    Research output: Contribution to journalJournal articleResearchpeer-review

  4. Published

    A self-applicable online partial evaluator for recursive flowchart languages

    Glück, R., 2012, In : Software: Practice & Experience. 42, 6, p. 649-673 25 p.

    Research output: Contribution to journalJournal articleResearchpeer-review

  5. Published

    Reversible arithmetic logic unit for quantum arithmetic

    Thomsen, M. K., Glück, R. & Axelsen, H. B., 2010, In : Journal of Physics A: Mathematical and Theoretical. 43, 38, 10 p., 382002.

    Research output: Contribution to journalJournal articleResearchpeer-review

  6. Published

    An investigation of Jones optimality and BTI-universal specializers

    Glück, R., 2008, In : Higher-Order and Symbolic Computation. 21, 3, p. 283-309

    Research output: Contribution to journalJournal articleResearchpeer-review

  7. Published

    A method for automatic program inversion based on LR(0) parsing

    Glück, R. & Kawabe, M., 2005, In : Fundamenta Informaticae. 66(4), p. 367-395

    Research output: Contribution to journalJournal articleResearchpeer-review

Selected activities

  1. Steering Committee of the Reversible Computation Conference (External organisation)

    Robert Glück (Board member)
    2013 → …

    Activity: Membership typesMembership in committee, council, board

  2. New Generation Computing (Journal)

    Robert Glück (Member of Editorial Board)
    2005 → …

    Activity: Publication peer-review and editorial work typesEditor of Research journalCommunication

  3. GPCE 2019 (Event)

    Robert Glück (Member)
    2019

    Activity: Membership typesMembership in committee, council, board

  4. PEPM 2019 (Event)

    Robert Glück (Member)
    2019

    Activity: Membership typesMembership in committee, council, board

  5. RC 2019 (Event)

    Robert Glück (Member)
    2019

    Activity: Membership typesMembership in committee, council, board

ID: 9668