Robert Glück
Professor
Programming Languages and Theory of Computing
Universitetsparken 5, 2100 København Ø
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 39.
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
- 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 tidsskrift › Tidsskriftartikel › fagfællebedømt
- Udgivet
Reversible computing: foundations and software: Preface of Special Issue
Glück, Robert & Yokoyama, T., 2018, I: New Generation Computing. 36, 3, s. 143-144Publikation: Bidrag til tidsskrift › Leder
- 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 tidsskrift › Tidsskriftartikel › fagfællebedømt
- 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 tidsskrift › Tidsskriftartikel › fagfællebedømt
- 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-395Publikation: Bidrag til tidsskrift › Tidsskriftartikel › fagfællebedømt
Udvalgte aktiviteter
IFIP Technical Committee on Software Theory and Practice: Working Group on Program Generation (WG 2.11) (Ekstern organisation)
Glück, Robert (Medlem)
2004 → …Aktivitet: Medlemsskab - typer › Medlemskab af forskningsnetværk
Steering Committee of the Reversible Computation Conference (Ekstern organisation)
Glück, Robert (Bestyrelsesmedlem)
2013 → …Aktivitet: Medlemsskab - typer › Medlemskab af udvalg, råd og nævn
New Generation Computing (Tidsskrift)
Glück, Robert (Medlem af redaktionsgruppen)
2005 → …Aktivitet: Peer-review og redaktionelt arbejde - typer › Redaktør af tidsskrift › Formidling
LOPSTR 2023 (Begivenhed)
Glück, Robert (Formand)
2023Aktivitet: Medlemsskab - typer › Medlemskab af udvalg, råd og nævn
RC 2023 (Begivenhed)
Glück, Robert (Medlem)
2023Aktivitet: Medlemsskab - typer › Medlemskab af udvalg, råd og nævn
PADL 2023 (Begivenhed)
Glück, Robert (Medlem)
2023Aktivitet: Medlemsskab - typer › Medlemskab af udvalg, råd og nævn
FLOPS 2022 (Begivenhed)
Glück, Robert (Medlem)
2022Aktivitet: Medlemsskab - typer › Medlemskab af udvalg, råd og nævn
GPCE 2022 (Begivenhed)
Glück, Robert (Medlem)
2022Aktivitet: Medlemsskab - typer › Medlemskab af udvalg, råd og nævn
miniKanren 2022 (Begivenhed)
Glück, Robert (Medlem)
2022Aktivitet: Medlemsskab - typer › Medlemskab af udvalg, råd og nævn
PEPM 2022 (Begivenhed)
Glück, Robert (Medlem)
2022Aktivitet: Medlemsskab - typer › Medlemskab af udvalg, råd og nævn
ID: 9668
Flest downloads
-
214
downloads
Proceedings of the 4th DIKU-IST Joint Workshop on the Foundations of Software
Publikation: Bog/antologi/afhandling/rapport › Antologi
Udgivet -
169
downloads
A categorical foundation for structured reversible flowchart languages
Publikation: Bidrag til tidsskrift › Tidsskriftartikel › fagfællebedømt
Udgivet -
96
downloads
Simulation of two-way pushdown automata revisited
Publikation: Bidrag til bog/antologi/rapport › Bidrag til bog/antologi › Forskning › fagfællebedømt
Udgivet