Robert Glück

Robert Glück

Professor

Medlem af:

    Robert Glück is a Full 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 40.

    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.

    Udvalgte publikationer

    1. Udgivet

      Reversible computing from a programming language perspective

      Glück, Robert & Yokoyama, T., 2023, I: Theoretical Computer Science. 953, 26 s., 113429.

      Publikation: Bidrag til tidsskriftTidsskriftartikelfagfællebedømt

    2. Udgivet

      Reversible computing: foundations and software: Preface of Special Issue

      Glück, Robert & Yokoyama, T., 2018, I: New Generation Computing. 36, 3, s. 143-144

      Publikation: Bidrag til tidsskriftLeder

    3. Udgivet

      A self-applicable online partial evaluator for recursive flowchart languages

      Glück, Robert, 2012, I: Software: Practice & Experience. 42, 6, s. 649-673 25 s.

      Publikation: Bidrag til tidsskriftTidsskriftartikelfagfællebedømt

    4. Udgivet

      Reversible arithmetic logic unit for quantum arithmetic

      Thomsen, Michael Kirkedal, Glück, Robert & Axelsen, H. B., 2010, I: Journal of Physics A: Mathematical and Theoretical. 43, 38, 10 s., 382002.

      Publikation: Bidrag til tidsskriftTidsskriftartikelfagfællebedømt

    5. Udgivet

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

      Glück, Robert & Kawabe, M., 2005, I: Fundamenta Informaticae. 66(4), s. 367-395

      Publikation: Bidrag til tidsskriftTidsskriftartikelfagfællebedømt

    Udvalgte aktiviteter

    1. Steering Committee of the Logic-Based Program Synthesis and Transformation Symposium (Ekstern organisation)

      Glück, Robert (Bestyrelsesmedlem)

      2024 → …

      Aktivitet: Medlemskab - typerMedlemskab af udvalg, råd og nævn

    2. Steering Committee of the Reversible Computation Conference (Ekstern organisation)

      Glück, Robert (Bestyrelsesmedlem)

      2013 → …

      Aktivitet: Medlemskab - typerMedlemskab af udvalg, råd og nævn

    3. New Generation Computing (Tidsskrift)

      Glück, Robert (Medlem af redaktionsgruppen)

      2005 → …

      Aktivitet: Peer-review og redaktionelt arbejde - typerRedaktør af tidsskriftFormidling

    4. LOPSTR 2024 (Begivenhed)

      Glück, Robert (Medlem)

      2024

      Aktivitet: Medlemskab - typerMedlemskab af udvalg, råd og nævn

    5. FLOPS 2024 (Begivenhed)

      Glück, Robert (Medlem)

      2024

      Aktivitet: Medlemskab - typerMedlemskab af udvalg, råd og nævn

    6. HCVS 2024 (Begivenhed)

      Glück, Robert (Medlem)

      2024

      Aktivitet: Medlemskab - typerMedlemskab af udvalg, råd og nævn

    7. RC 2024 (Begivenhed)

      Glück, Robert (Medlem)

      2024

      Aktivitet: Medlemskab - typerMedlemskab af udvalg, råd og nævn

    8. miniKanren 2024 (Begivenhed)

      Glück, Robert (Medlem)

      2024

      Aktivitet: Medlemskab - typerMedlemskab af udvalg, råd og nævn

    ID: 9668