Robert Glück
Professor
Robert Glück is a Full Professor of Computer Science at the University of Copenhagen and was 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.
Selected publications
- Published
Reversible computing from a programming language perspective
Glück, Robert & Yokoyama, T., 2023, In: Theoretical Computer Science. 953, 26 p., 113429.Research output: Contribution to journal › Journal article › Research › peer-review
- Published
Reversible computing: foundations and software: Preface of Special Issue
Glück, Robert & Yokoyama, T., 2018, In: New Generation Computing. 36, 3, p. 143-144Research output: Contribution to journal › Editorial › Research
- Published
A self-applicable online partial evaluator for recursive flowchart languages
Glück, Robert, 2012, In: Software: Practice & Experience. 42, 6, p. 649-673 25 p.Research output: Contribution to journal › Journal article › Research › peer-review
- Published
Reversible arithmetic logic unit for quantum arithmetic
Thomsen, Michael Kirkedal, Glück, Robert & Axelsen, H. B., 2010, In: Journal of Physics A: Mathematical and Theoretical. 43, 38, 10 p., 382002.Research output: Contribution to journal › Journal article › Research › peer-review
- Published
A method for automatic program inversion based on LR(0) parsing
Glück, Robert & Kawabe, M., 2005, In: Fundamenta Informaticae. 66(4), p. 367-395Research output: Contribution to journal › Journal article › Research › peer-review
Selected activities
IFIP Technical Committee on Software Theory and Practice: Working Group on Program Generation (WG 2.11) (External organisation)
Glück, Robert (Member)
2004 → …Activity: Membership types › Membership in research network
Steering Committee of the Logic-Based Program Synthesis and Transformation Symposium (External organisation)
Glück, Robert (Board member)
2024 → …Activity: Membership types › Membership in committee, council, board
Steering Committee of the Reversible Computation Conference (External organisation)
Glück, Robert (Board member)
2013 → …Activity: Membership types › Membership in committee, council, board
New Generation Computing (Journal)
Glück, Robert (Member of Editorial Board)
2005 → …Activity: Peer-review and editorial work types › Editor of Research journal › Communication
LOPSTR 2024 (Event)
Glück, Robert (Member)
2024Activity: Membership types › Membership in committee, council, board
FLOPS 2024 (Event)
Glück, Robert (Member)
2024Activity: Membership types › Membership in committee, council, board
HCVS 2024 (Event)
Glück, Robert (Member)
2024Activity: Membership types › Membership in committee, council, board
RC 2024 (Event)
Glück, Robert (Member)
2024Activity: Membership types › Membership in committee, council, board
miniKanren 2024 (Event)
Glück, Robert (Member)
2024Activity: Membership types › Membership in committee, council, board
ID: 9668
Most downloads
-
270
downloads
Proceedings of the 4th DIKU-IST Joint Workshop on the Foundations of Software
Research output: Book/Report › Anthology › Research
Published -
211
downloads
A categorical foundation for structured reversible flowchart languages
Research output: Contribution to journal › Journal article › Research › peer-review
Published -
135
downloads
Simulation of two-way pushdown automata revisited
Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research › peer-review
Published