Persons tagged with ?concurrency?

Name	Phone	E-mail	Tags
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
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