Thomsen, Michael Kirkedal
Førsteamanuensis
|
|
michakt@ifi.uio.no
|
distributed systems,
programming languages,
programming language theory,
de-central systems,
marine,
information security,
security and privacy,
semantics,
program transformation,
compiler construction
|