| 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 +
|
