Michael Kirkedal Thomsen

University of Copenhagen — Denmark

Computer Science · Physical Sciences

11h-index426citations45works1.02yr avg
OpenAlex↗ORCID↗Google Scholar↗Lab page↗

Accepting Students?

No reports yet. Know if this professor is taking students?

Research Topics

Quantum Computing Algorithms and Architecture(22), Quantum-Dot Cellular Automata(14), Parallel Computing and Optimization Techniques(11), Low-power high-performance VLSI design(11), Computability, Logic, AI Algorithms(8)

Publications45 total

OnlineProver: Experience with a Visualisation Tool for Teaching Formal Proofs
Electronic Proceedings in Theoretical Computer Science·2025· 2 citedOpen Access
OnlineProver: First Experience with Teaching Formal Proofs
Norsk IKT-konferanse for forskning og utdanning·2024· 3 citedOpen Access
remarks - Machinery for Marking Student Work
Norsk IKT-konferanse for forskning og utdanning·2024Open Access
Exploring the Energy Overhead of Reversible Programs Executed on Irreversible Hardware
Lecture notes in computer science·2024Open Access
Jeopardy: An Invertible Functional Programming Language
Lecture notes in computer science·2024Open Access
Design of Reversible Computing Systems; Large Logic, Languages, and Circuits
arXiv (Cornell University)·2023Open Access
pun: Fun with Properties; Towards a Programming Language With Built-in Facilities for Program Validation
arXiv (Cornell University)·2023Open Access
Tail recursion transformation for invertible functions
arXiv (Cornell University)·2023Open Access
Tail Recursion Transformation for Invertible Functions
Lecture notes in computer science·2023· 1 cited
Branching execution symmetry in Jeopardy by available implicit arguments analysis
arXiv (Cornell University)·2022· 1 citedOpen Access
Jeopardy: An Invertible Functional Programming Language
arXiv (Cornell University)·2022· 5 citedOpen Access
Reversible Languages and Incremental State Saving in Optimistic Parallel Discrete Event Simulation
Lecture notes in computer science·2020· 11 citedOpen Access
Reversible Computation
Lecture notes in computer science·2019· 9 cited
$$\mathsf {CoreFun}$$: A Typed Functional Reversible Core Language
Lecture notes in computer science·2018· 18 cited
Encryption and Reversible Computations
Lecture notes in computer science·2018· 6 cited
An Automated Approach for Generating and Checking Control Logic for Reversible Hardware Description Language-Based Designs
Journal of Low Power Electronics·2017
Hardness of Deriving Invertible Sequences from Finite State Machines
Lecture notes in computer science·2017· 3 cited
Reverse Execution in Testing – Improving Security and Reliability (NII Shonan Meeting 2017-9).
NII Shonan Meet. Rep.·2017
Generating and checking control logic in the HDL-based design of reversible circuits
2016
Initial Ideas for Automatic Design and Verification of Control Logic in Reversible HDLs - Work in Progress Report.
2016
page 1 of 3Next →

Frequent Co-authors

Holger Bock Axelsen(10), Joachim Tilsted Kristensen(8), Robert Glück(7), Robin Kaarsgaard(7), Alexis De Vos(6), Mathias Soeken(5), Rolf Drechsler(5), Stéphane Burignat(5), Robert Wille(4), Oliver Keszöcze(4), Lars Othmer(4), Ken Friis Larsen(2), Eva Rotenberg(2), Mohammad Reza Mousavi(2), Ján Perháč(2), Lars Tveito(2), Oleks Shturmov(2), Samuel Novotný(2), Sergej Chodarev(2), Heinz Riener(2)