Full Name
|
Christian Johansen +
|
Headline
|
Professor at NTNU, previously researcher at UiO +
|
Keywords
|
Concurrency models +
, Formal methods +
, Security +
, Safety verification +
, Formal tools +
, Privacy +
, Logic in computer science +
, Process algebras +
, Semantics of programming languages +
, Verifiable security +
|
Mobile phone
|
+47-97535582 +
|
Name
|
Johansen +
|
Partner
|
UiO +
, NTNU +
|
Phone
|
+47-22850481 +
|
Prename
|
Christian +
|
User
|
Christian Johansen +
|
User Picture
|
[[File:Christian Johansen.jpg|150px]] +
|
Has queryThis property is a special property in this wiki.
|
Christian Johansen +
, Christian Johansen +
, Christian Johansen +
, Christian Johansen +
, Christian Johansen +
, Christian Johansen +
, Christian Johansen +
, Christian Johansen +
, Christian Johansen +
, Christian Johansen +
, Christian Johansen +
, Christian Johansen +
, Christian Johansen +
|
Creation dateThis property is a special property in this wiki.
|
16 September 2015 14:03:37 +
|
Categories |
User +
|
Modification dateThis property is a special property in this wiki.
|
7 January 2021 09:50:25 +
|
EmailThis property is a special property in this wiki.
|
cristi@ifi.uio.no +
|