English version of this page

Michael Kirkedal Thomsen

Førsteamanuensis - Programmeringsteknologi
E-post michakt@ifi.uio.no
Telefon +47 22 85 13 03
Rom 10462
Brukernavn
Besøksadresse Gaustadalléen 23B 0373 Oslo
Postadresse Postboks 1080 Blindern 0316 Oslo

Research topics: Programming languages, quantum computing and security.

Se engelsk version for detaljer

Emneord: distributed systems, programming languages, programming language theory, de-central systems, marine, information security, security and privacy, semantics, program transformation, compiler construction, quantum computation, energy consumption

Publikasjoner

  • Kristensen, Joachim Tilsted; Perhac, Jan; Tveito, Lars; Vadgaard, Lars-Bo; Thomsen, Michael Kirkedal & Shturmov, Oleks [Vis alle 8 forfattere av denne artikkelen] (2024). OnlineProver: First Experience with Teaching Formal Proofs. NIKT: Norsk IKT-konferanse for forskning og utdanning. ISSN 1892-0713. doi: 10.5324/nikt.6205. Fulltekst i vitenarkiv
  • Shturmov, Oleks & Thomsen, Michael Kirkedal (2024). Remarks - Machinery for Marking Student Work. NIKT: Norsk IKT-konferanse for forskning og utdanning. ISSN 1892-0713. doi: 10.5324/nikt.6203. Fulltekst i vitenarkiv
  • Kristensen, Joachim Tilsted; Kaarsgaard, Robin & Thomsen, Michael Kirkedal (2024). Jeopardy: An Invertible Functional Programming Language. Lecture Notes in Computer Science (LNCS). ISSN 0302-9743. 14680. doi: 10.1007/978-3-031-62076-8_9. Fulltekst i vitenarkiv
  • Vadgaard, Lars-Bo; Hanne, Kirkeby Maja; Friis, Larsen Ken & Thomsen, Michael Kirkedal (2024). Exploring the Energy Overhead of Reversible Programs Executed on Irreversible Hardware. Lecture Notes in Computer Science (LNCS). ISSN 0302-9743. 14680. doi: 10.1007/978-3-031-62076-8_6. Fulltekst i vitenarkiv
  • 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, s. 73–88. doi: 10.1007/978-3-031-38100-3_6. Fulltekst i vitenarkiv
  • Kristensen, Joachim Tilsted; Kaarsgaard, Robin & Thomsen, Michael Kirkedal (2022). Branching execution symmetry in Jeopardy by available implicit arguments analysis. Lecture Notes in Computer Science (LNCS). ISSN 0302-9743. Fulltekst i vitenarkiv
  • Abdessaied, Nabila; Soeken, Mathias; Thomsen, Michael Kirkedal & Drechsler, Rolf (2014). Upper bounds for reversible circuits based on Young subgroups. Information Processing Letters. ISSN 0020-0190. s. 282–286. doi: 10.1016/j.ipl.2014.01.003. Fulltekst i vitenarkiv
  • Soeken, Mathias & Thomsen, Michael Kirkedal (2013). White Dots do Matter: Rewriting Reversible Logic Circuits. Lecture Notes in Computer Science (LNCS). ISSN 0302-9743. 7948, s. 196–208. doi: 10.1007/978-3-642-38986-3_16. Fulltekst i vitenarkiv
  • Rotenberg, Eva; Cranch, James; Thomsen, Michael Kirkedal & Axelsen, Holger Bock (2013). Strength of the Reversible, Garbage-Free 2k +- 1 Multiplier. Lecture Notes in Computer Science (LNCS). ISSN 0302-9743. 7948, s. 46–57. doi: 10.1007/978-3-642-38986-3_5. Fulltekst i vitenarkiv
  • Axelsen, Holger Bock & Thomsen, Michael Kirkedal (2013). Garbage-Free Integer Multiplication with Constants. Lecture Notes in Computer Science (LNCS). ISSN 0302-9743. 7581, s. 171–182. doi: 10.1007/978-3-642-36315-3_14. Fulltekst i vitenarkiv
  • Thomsen, Michael Kirkedal (2012). Describing and Optimizing Reversible Logic using a Functional Language. Lecture Notes in Computer Science (LNCS). ISSN 0302-9743. 7257, s. 148–163. doi: 10.1007/978-3-642-34407-7_10. Fulltekst i vitenarkiv
  • Thomsen, Michael Kirkedal; 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, s. 30–42. doi: 10.1007/978-3-642-29517-1_3. Fulltekst i vitenarkiv
  • Thomsen, Michael Kirkedal (2012). A Functional Language for Describing Reversible Logic. Forum on Specification and Design Languages. ISSN 1636-9874. s. 135–142. Fulltekst i vitenarkiv
  • Vos, Alexis De; Burignat, Stéphane & Thomsen, Michael Kirkedal (2012). Reversible Implementation of a Discrete Integer Linear Transform. Journal of Multiple-Valued Logic and Soft Computing. ISSN 1542-3980. 18(1), s. 25–35. Fulltekst i vitenarkiv
  • Burignat, Stéphane; Thomsen, Michael Kirkedal; Klimczak, Michal; Olczak, Mariusz & Vos, Alexis De (2012). Interfacing Reversible Pass-Transistor CMOS Chips with Conventional Restoring CMOS Circuits. Lecture Notes in Computer Science (LNCS). ISSN 0302-9743. 7165, s. 112–122. doi: 10.1007/978-3-642-29517-1. Fulltekst i vitenarkiv
  • Thomsen, Michael Kirkedal; Glück, Robert & Axelsen, Holger Bock (2010). Reversible arithmetic logic unit for quantum arithmetic. Journal of Physics A: Mathematical and Theoretical. ISSN 1751-8113. doi: 10.1088/1751-8113/43/38/382002. Fulltekst i vitenarkiv
  • Thomsen, Michael Kirkedal & Axelsen, Holger Bock (2009). Parallelization of Reversible Ripple-carry Adders. Parallel Processing Letters. ISSN 0129-6264. 19(1), s. 205–222. doi: 10.1142/S0129626409000171. Fulltekst i vitenarkiv
  • Thomsen, Michael Kirkedal & Axelsen, Holger Bock (2008). Parallel Optimization of a Reversible (Quantum) Ripple-Carry Adder. Lecture Notes in Computer Science (LNCS). ISSN 0302-9743. 5204, s. 229–242. doi: 10.1007/978-3-540-85194-3_19. Fulltekst i vitenarkiv
  • Thomsen, Michael Kirkedal & Glück, Robert (2008). Optimized reversible binary-coded decimal adders. Journal of systems architecture. ISSN 1383-7621. 54(7), s. 697–706. doi: 10.1016/j.sysarc.2007.12.006. Fulltekst i vitenarkiv

Se alle arbeider i NVA

  • Thomsen, Michael Kirkedal & Soeken, Mathias (2019). Reversible Computation, 11th International Conference, RC 2019, Proceedings. Springer. ISBN 9783030215002. 247 s. Fulltekst i vitenarkiv

Se alle arbeider i NVA

  • Kristensen, Joachim Tilsted; Vadgaard, Lars-Bo; Thomsen, Michael Kirkedal & Kirkeby, Maja Hanne (2023). Semi-Inversion with Sum Types. Fulltekst i vitenarkiv
  • Thomsen, Michael Kirkedal (2023). Quantum Computing for Computer Scientists - decipher the hype. Fulltekst i vitenarkiv
  • Thomsen, Michael Kirkedal (2023). Reversible computations in a lossy world. Fulltekst i vitenarkiv
  • Thomsen, Michael Kirkedal (2023). Leveraging Energy-Aware Programming (LEAP). Fulltekst i vitenarkiv
  • Kristensen, Joachim Tilsted; Kaarsgaard, Robin & Thomsen, Michael Kirkedal (2023). Unification as a means of completing partial data structures. Fulltekst i vitenarkiv
  • Thomsen, Michael Kirkedal (2023). Information in a lossy world, How physics define our models of computation. Fulltekst i vitenarkiv
  • Thomsen, Michael Kirkedal (2022). Introduction to the Technical Session and the Identity Architecture. Fulltekst i vitenarkiv
  • Thomsen, Michael Kirkedal (2022). Identity Management and Security in the Maritime Connectivity Platform. Fulltekst i vitenarkiv
  • Kristensen, Joachim Tilsted; Thomsen, Michael Kirkedal & Kaarsgaard, Robin (2022). Jeopardy: An Invertible Functional Programming Language. Fulltekst i vitenarkiv
  • Thomsen, Michael Kirkedal (2022). Maritime cyber security. Fulltekst i vitenarkiv
  • Thomsen, Michael Kirkedal (2022). Reversible Computations, Energy, and Functional Programming. Fulltekst i vitenarkiv

Se alle arbeider i NVA

Publisert 29. mars 2022 12:49 - Sist endret 2. juli 2026 16:42