Participants in NebulOuS
| Name | Phone | Tags | |
|---|---|---|---|
Geir Horn
Senior Adviser
|
+47 22840954 +47 93059335 (mob) | geir.horn@mn.uio.no | |
Rudolf Schlatte
Senior Engineer
|
+47 22852971 | rudi@ifi.uio.no | formal methods, computer science, programming language semantics, concurrency |
|
Marta Rozanska
Researcher
|
martaroz@ifi.uio.no | ||
|
Maunya Doroudi Moghadam
Senior Adviser
|
m.d.moghadam@its.uio.no |