Personer med emneord «formal methods»

Navn	Telefon	E-post	Emneord
Johnsen, Einar Broch Professor	+47 22852509	einarj@ifi.uio.no	computer science, formal methods, semantics, modeling, distributed systems, digital twins
Owe, Olaf professor emeritus	22852449	olaf@ifi.uio.no	semantics, object-orientation, formal methods, concurrency, privacy, information security, language-based security, verification, programming languages
Owe, Olaf Professor	+47 22852449	olaf@ifi.uio.no	semantics, object-orientation, formal methods, concurrency, computer science, verification, programming languages
Owe, Olaf Professor	+47 22852449	olaf@ifi.uio.no	semantics, object-orientation, formal methods, concurrency, computer science, verification, programming languages
Schlatte, Rudolf Senior Engineer	+47 22852971	rudi@ifi.uio.no	formal methods, computer science, programming language semantics, concurrency
Steffen, Martin Professor	+47 22850417	msteffen@ifi.uio.no	semantics, programming language theory, static analysis, verification, compiler construction, object-orientation, formal methods, concurrency, computer science, verification, PMA, program analysis, static analysis, compositionality, security, model checking, type systems
Stolz, Volker Associate Professor	+47 22852438	stolz@ifi.uio.no	formal methods, model transformation, UML
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 Associate Professor	+47 22852763	sltarifa@ifi.uio.no	formal methods, concurrency, programming language theory, model-based analysis, microservices, distributed systems, object-orientation, modeling, resourse analysis
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