Personer med emneord «programming language theory»
Navn | Telefon | E-post | Emneord |
---|---|---|---|
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 | |
Tapia Tarifa, Silvia Lizeth Førsteamanuensis | +47 22852763 | sltarifa@ifi.uio.no | formal methods, concurrency, programming language theory, model-based analysis, microservices, distributed systems, object-orientation, modeling, resourse analysis |