Research output per year
Research output per year
Personal profile
Short presentation
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 36.
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.
Fingerprint
Dive into the research topics where Robert Glück is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 6 Similar Profiles
-
Constructing a binary tree from its traversals by reversible recursion and iteration
Glück, R. & Yokoyama, T., Jul 2019, In: Information Processing Letters. 147, p. 32-37 6 p.Research output: Contribution to journal › Journal article › Research › peer-review
-
Reversible computing: foundations and software: Preface of Special Issue
Glück, R. & Yokoyama, T., 1 Jul 2018, In: New Generation Computing. 36, 3, p. 143-144Research output: Contribution to journal › Editorial
-
A self-applicable online partial evaluator for recursive flowchart languages
Glück, R., 1 Jun 2012, In: Software: Practice & Experience. 42, 6, p. 649-673 25 p.Research output: Contribution to journal › Journal article › Research › peer-review
-
Reversible arithmetic logic unit for quantum arithmetic
Thomsen, M. K., Glück, R. & Axelsen, H. B., 24 Sept 2010, In: Journal of Physics A: Mathematical and Theoretical. 43, 38, 10 p., 382002.Research output: Contribution to journal › Journal article › Research › peer-review
-
A method for automatic program inversion based on LR(0) parsing
Glück, R. & Kawabe, M., 2005, In: Fundamenta Informaticae. 66(4), p. 367-395Research output: Contribution to journal › Journal article › Research › peer-review
32 Citations (Scopus) -
A categorical foundation for structured reversible flowchart languages: Soundness and adequacy
Glück, R. & Kaarsgaard, R., 5 Sept 2018, In: Logical Methods in Computer Science. 14, 3, 38 p., 16.Research output: Contribution to journal › Journal article › Research › peer-review
-
A categorical foundation for structured reversible flowchart languages
Glück, R. & Kaarsgaard, R., 16 Apr 2018, In: Electronic Notes in Theoretical Computer Science. 336, p. 155-171Research output: Contribution to journal › Journal article › Research › peer-review
-
An experiment in ping-pong protocol verification by nondeterministic pushdown automata
Glück, R., 23 Mar 2018, Proceedings Third Workshop on Models for Formal Analysis of Real Systems and Sixth International Workshop on Verification and Program Transformation. Proceedings. Gallagher, J. P., van Glabbeek, R. & Serwe, W. (eds.). Open Publishing Association, p. 169-184 (Electronic Proceedings in Theoretical Computer Science, Vol. 268).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
Activities
-
IFIP Technical Committee on Software Theory and Practice: Working Group on Program Generation (WG 2.11) (External organisation)
Glück, R. (Member)
2004 → …Activity: Membership types › Membership in research network
-
Steering Committee of the Reversible Computation Conference (External organisation)
Glück, R. (Board member)
2013 → …Activity: Membership types › Membership in committee, council, board
-
New Generation Computing (Journal)
Glück, R. (Member of Editorial Board)
2005 → …Activity: Publication peer-review and editorial work types › Editor of Research journal › Communication
-
PEPM 2020 (Event)
Glück, R. (Member)
2020Activity: Membership types › Membership in committee, council, board
-
RC 2020 (Event)
Glück, R. (Member)
2020Activity: Membership types › Membership in committee, council, board
-
GPCE 2019 (Event)
Glück, R. (Member)
2019Activity: Membership types › Membership in committee, council, board
-
RC 2019 (Event)
Glück, R. (Member)
2019Activity: Membership types › Membership in committee, council, board
-
PEPM 2019 (Event)
Glück, R. (Member)
2019Activity: Membership types › Membership in committee, council, board
Press/Media
-
Think efficiently: think reversible
De Vos, A. & Glück, R.
01/01/2014
1 Media contribution
Press/Media: Press / Media