Research output per year
Research output per year
Personal profile
Primary fields of research
- Foundations of reversible computation
- Category theory and its applications in the formal semantics of reversible programming languages, and in quantum foundations, especially quantum computation
- Formal logic and its applications in the synthesis and rewriting of reversible logic circuits
Current research
Applying inverse categories as models of reversible programming with a particular focus on modelling reversible feedback and recursion.
Fingerprint
Dive into the research topics where Robin Kaarsgaard is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 2 Similar Profiles
-
Inversion, Iteration, and the Art of Dual Wielding
Kaarsgaard, R., 2019, Reversible Computation - 11th International Conference, RC 2019, Proceedings. Soeken, M. & Thomsen, M. K. (eds.). Springer, p. 34-50 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 11497 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
-
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
-
CoreFun: A typed functional reversible core language
Jacobsen, P. A. H., Kaarsgaard, R. & Thomsen, M. K., 2018, Reversible Computation: 10th International Conference, RC 2018, 2018, Proceedings. Springer, p. 304-321 (Lecture notes in computer science, Vol. 11106).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
-
Reversible Effects as Inverse Arrows
Heunen, C., Kaarsgaard, R. & Karvonen, M., 1 Dec 2018, In: Electronic Notes in Theoretical Computer Science. 341, p. 179-199Research output: Contribution to journal › Conference article › Research › peer-review
-
Join inverse categories and reversible recursion
Kaarsgaard, R., Axelsen, H. B. & Glück, R., 1 Feb 2017, In: Journal of Logical and Algebraic Methods in Programming. 87, p. 33-50 18 p.Research output: Contribution to journal › Journal article › Research › peer-review
-
The Logic of Reversible Computing: Theory and Practice
Kaarsgaard, R., 2017, Department of Computer Science, Faculty of Science, University of Copenhagen.Research output: Book/Report › Ph.D. thesis
-
A classical propositional logic for reasoning about reversible logic circuits
Axelsen, H. B., Glück, R. & Kaarsgaard, R., 2016, Logic, Language, Information, and Computation: 23rd International Workshop, WoLLIC 2016, Puebla, Mexico, August 16-19th, 2016. Proceedings. Väänänen, J., Hirvonen, Å. & de Queiroz, R. (eds.). Springer, p. 52-67 16 p. (Lecture notes in computer science, Vol. 9803).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review