Personer med emneord «formal methods»
| Navn | Telefon | E-post | Emneord |
|---|---|---|---|
Stolz, Volker
Førsteamanuensis
|
+47 22852438 | stolz@ifi.uio.no | programming languages, programmeringsspråk, formal methods, model transformation, UML, QVT, Haskell, FreeBSD, object-orientation, verification |
Tapia Tarifa, Silvia Lizeth
Senior Researcher
|
22840852 | sltarifa@ifi.uio.no | formal methods, concurrency, programming language theory, model-based analysis, microservices, distributed systems, object-orientation, modeling, resourse analysis |