Research topics of interests: Everything on computational models and programming language design with applications to reliability, security, decentralisation and limited models. In short the border between computation and physics. This includes models like reversible and quantum computationsm, and understanding the energy efficiency of programs and systems.
Michael Kirkedal Thomsen
Associate Professor
-
Programming Technology
Norwegian version of this page
Email
michakt@ifi.uio.no
Room
10461
Username
Visiting address
Gaustadalléen 23B
0373 Oslo
Postal address
Postboks 1080 Blindern
0316 Oslo
Other affiliations
Institutt for pedagogikk
(Student)
Publications
-
Kristensen, Joachim Tilsted; Kaarsgaard, Robin & Thomsen, Michael Kirkedal (2023). Tail recursion transformation for invertible functions. Lecture Notes in Computer Science (LNCS). ISSN 0302-9743. 13960, p. 73–88. doi: 10.1007/978-3-031-38100-3_6.
-
Kristensen, Joachim Tilsted; Kaarsgaard, Robin & Kirkedal Thomsen, Michael (2022). Branching execution symmetry in Jeopardy by available implicit arguments analysis. Lecture Notes in Computer Science (LNCS). ISSN 0302-9743.
-
Abdessaied, Nabila; Soeken, Mathias; Kirkedal Thomsen, Michael & Drechsler, Rolf (2014). Upper bounds for reversible circuits based on Young subgroups. Information Processing Letters. ISSN 0020-0190. p. 282–286. doi: 10.1016/j.ipl.2014.01.003.
-
Rotenberg, Eva; Cranch, James; Kirkedal Thomsen, Michael & Axelsen, Holger Bock (2013). Strength of the Reversible, Garbage-Free 2k +- 1 Multiplier. Lecture Notes in Computer Science (LNCS). ISSN 0302-9743. 7948, p. 46–57. doi: 10.1007/978-3-642-38986-3_5.
-
Axelsen, Holger Bock & Kirkedal Thomsen, Michael (2013). Garbage-Free Integer Multiplication with Constants. Lecture Notes in Computer Science (LNCS). ISSN 0302-9743. 7581, p. 171–182. doi: 10.1007/978-3-642-36315-3_14.
-
Soeken, Mathias & Kirkedal Thomsen, Michael (2013). White Dots do Matter: Rewriting Reversible Logic Circuits. Lecture Notes in Computer Science (LNCS). ISSN 0302-9743. 7948, p. 196–208. doi: 10.1007/978-3-642-38986-3_16.
-
Kirkedal Thomsen, Michael; Axelsen, Holger Bock & Glück, Robert (2012). A Reversible Processor Architecture and its Reversible Logic Design. Lecture Notes in Computer Science (LNCS). ISSN 0302-9743. 7165, p. 30–42. doi: 10.1007/978-3-642-29517-1_3.
-
Kirkedal Thomsen, Michael (2012). A Functional Language for Describing Reversible Logic. Forum on Specification and Design Languages. ISSN 1636-9874. p. 135–142.
-
Kirkedal Thomsen, Michael & Soeken, Mathias (2019). Reversible Computation, 11th International Conference, RC 2019, Proceedings. Springer Berlin/Heidelberg. ISBN 978-3-030-21500-2. 247 p.
-
Kristensen, Joachim Tilsted; Vadgaard, Lars-Bo; Thomsen, Michael Kirkedal & Kirkeby, Maja Hanne (2023). Semi-Inversion with Sum Types.
-
Thomsen, Michael Kirkedal (2023). Information in a lossy world, How physics define our models of computation.
-
Thomsen, Michael Kirkedal (2023). Leveraging Energy-Aware Programming (LEAP).
-
Thomsen, Michael Kirkedal (2023). Reversible computations in a lossy world.
-
Thomsen, Michael Kirkedal (2023). Quantum Computing for Computer Scientists - decipher the hype.
-
Kristensen, Joachim Tilsted; Kaarsgaard, Robin & Thomsen, Michael Kirkedal (2023). Unification as a means of completing partial data structures.
-
Kirkedal Thomsen, Michael (2022). Maritime cyber security.
-
Kirkedal Thomsen, Michael (2022). Reversible Computations, Energy, and Functional Programming.
-
Kirkedal Thomsen, Michael (2022). Introduction to the Technical Session and the Identity Architecture.
-
Kirkedal Thomsen, Michael (2022). Identity Management and Security in the Maritime Connectivity Platform.
-
Kristensen, Joachim Tilsted; Kirkedal Thomsen, Michael & Kaarsgaard, Robin (2022). Jeopardy: An Invertible Functional Programming Language.
Published
Mar. 29, 2022 12:49 PM
- Last modified
Mar. 13, 2024 10:14 AM