Visiting address
Ole Johan Dahls hus (map)
Gaustadalléen 23 B
N-0373
OSLO
Norway
Name | Phone | Tags | |
---|---|---|---|
![]() |
+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 |