Cristin-person-ID: 1318659
Person

Michael Kirkedal Thomsen

  • Stilling:
    Førsteamanuensis
    ved Programmeringsteknologi ved Universitetet i Oslo

Resultater Resultater

Semi-Inversion with Sum Types.

Kristensen, Joachim Tilsted; Vadgaard, Lars-Bo; Thomsen, Michael Kirkedal; Kirkeby, Maja Hanne. 2023, Nordic Workshop on Programming Theory. RUC, UIOVitenskapelig foredrag

Information in a lossy world, How physics define our models of computation.

Thomsen, Michael Kirkedal. 2023, Visit to TUKE. UIOVitenskapelig foredrag

Leveraging Energy-Aware Programming (LEAP).

Thomsen, Michael Kirkedal. 2023, MN sustainability seminar. UIOVitenskapelig foredrag

Reversible computations in a lossy world.

Thomsen, Michael Kirkedal. 2023, Guest lecture. UIOVitenskapelig foredrag

Quantum Computing for Computer Scientists - decipher the hype.

Thomsen, Michael Kirkedal. 2023, IFI research seminar. UIOPopulærvitenskapelig foredrag
1 - 5 av 27 | Neste | Siste »