Visiting address
Ole Johan Dahls hus (map)
Gaustadalléen 23 B
N-0373
OSLO
Norway
Persons tagged with «concurrency»
| Name | Phone | Tags | |
|---|---|---|---|
Din, Crystal Chang
Postdoctoral Fellow
|
crystald@ifi.uio.no | concurrency, Object-orientation, formal methods, verification | |
Owe, Olaf
Professor
|
+47-22852449 | olaf@ifi.uio.no | programming languages, semantics, formal methods, verification, concurrency, computer science, object-orientation |
Schlatte, Rudolf
Researcher
|
+47-22852971 | rudi@ifi.uio.no | computer science, concurrency, formal methods, programming language semantics |
Steffen, Martin
Professor
|
+47-22850417 | msteffen@ifi.uio.no | static analysis, program analysis, formal methods, PMA, concurrency, type systems, compositionality, programming language theory, verification, static analysis, compiler construction, model checking, object-orientation, verification, security, semantics, computer science |