Norwegian version of this page

Michael Kirkedal Thomsen

Associate Professor - Programming Technology
Email michakt@ifi.uio.no
Phone +47 22 85 13 03
Room 10462
Username
Visiting address Gaustadalléen 23B 0373 Oslo
Postal address Postboks 1080 Blindern 0316 Oslo

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 computations, and understanding the energy efficiency of programs and systems.

Teaching

IN2031 – Project in programmering

IN2040 – Functional programming

IN3030 – Efficient Parallel Programming

IN3130 – Algorithms: Design and Efficiency

IN5630 – Programming Language Implementation and Formalisation

Mentor on Quantum Technology education

Tags: 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

Publications

  • Kristensen, Joachim Tilsted; Perhac, Jan; Tveito, Lars; Vadgaard, Lars-Bo; Thomsen, Michael Kirkedal & Shturmov, Oleks [Show all 8 contributors for this article] (2024). OnlineProver: First Experience with Teaching Formal Proofs. NIKT: Norsk IKT-konferanse for forskning og utdanning. ISSN 1892-0713. doi: 10.5324/nikt.6205. Full text in Research Archive
  • 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. Full text in Research Archive
  • 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. Full text in Research Archive
  • 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. Full text in Research Archive
  • 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. Full text in Research Archive
  • 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. Full text in Research Archive
  • 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. p. 282–286. doi: 10.1016/j.ipl.2014.01.003. Full text in Research Archive
  • Soeken, Mathias & Thomsen, Michael Kirkedal (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. Full text in Research Archive

View all works in NVA

  • Thomsen, Michael Kirkedal & Soeken, Mathias (2019). Reversible Computation, 11th International Conference, RC 2019, Proceedings. Springer. ISBN 9783030215002. 247 p. Full text in Research Archive

View all works in NVA

View all works in NVA

Published Mar. 29, 2022 12:49 PM - Last modified July 2, 2026 4:45 PM

Projects

Research groups

Profiles

Current Graduate Students


 

  •