Info
Meny
English
Logg inn
Søk etter prosjekter, resultater og personer
Søk etter prosjekter, resultater og personer
Cristin-person-ID:
1318659
Person
Michael Kirkedal Thomsen
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, UIO
Vitenskapelig foredrag
Information in a lossy world, How physics define our models of computation.
Thomsen, Michael Kirkedal. 2023, Visit to TUKE. UIO
Vitenskapelig foredrag
Leveraging Energy-Aware Programming (LEAP).
Thomsen, Michael Kirkedal. 2023, MN sustainability seminar. UIO
Vitenskapelig foredrag
Reversible computations in a lossy world.
Thomsen, Michael Kirkedal. 2023, Guest lecture. UIO
Vitenskapelig foredrag
Quantum Computing for Computer Scientists - decipher the hype.
Thomsen, Michael Kirkedal. 2023, IFI research seminar. UIO
Populærvitenskapelig foredrag
1
-
5
av
27
|
Neste
|
Siste »