Browse wiki

Jump to: navigation, search
Christian Johansen
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  +
hide properties that link here 
Content Delivery Networks for InfoInternet Deployments + , Pervasive computing in smart electricity grid + ApprovedBy
SCOTT:WP09 + , SCOTT:WP14 + , SCOTT:WP15 + , SCOTT:WP21 + , SCOTT:WP23 + Has SCOTT-NO contact
SCOTT:BB24.I + , SCOTT:BB26.G + Leader
UNIKUM:Masteroppgave Christian + Lecturer
"Big Data for Energy" Workshop + , IoTSec:Consortium F2F meeting January 2017 + , IoTSec:Consortium Oct.2018 Oslo + , DiversIoT:DiversIoT meeting after ACM MobileHCI conference + , DiversIoT:DiversIoT meeting after ACM SIGCHI DIS conference + , DiversIoT:DiversIoT meeting after UX of IoT workshop + , DiversIoT:DiversIoT meeting after oCPS school + , DiversIoT:DiverseIoT meeting during ETAPS + , DiversIoT:DiverseIoT open workshop on IoT + , Gemini Sprint Event 2018 + , International Working Day Meeting at IFI/UiO + , IoTSec:IoT Security Classification Sep2017 + , IoTSec:IoT workshop at SERI + , IoTSec:IoTSec Consortium ITS 2017 + , IoTSec:IoTSec Consortium ITS 2018 + , IoTSec:IoTSec Consortium ITS 2020 + , IoTSec:IoTSec Consortium UiO2017 + , IoTSec:IoTSec WP 1&2 workshop + , IoTSec:IoTSec Y1 Review Meeting + , Privacy Labelling Workshop, 12Mar2020, Oslo + ... Organiser
IoTAdmin:Phone 2017/05/03 + , IoTAdmin:Phone 2017/08/02 + , IoTAdmin:Phone 2017/10/04 + , IoTAdmin:Phone 2018/02/07 + , IoTAdmin:Phone 2018/05/02 + , IoTAdmin:Phone 2018/09/05 + , IoTAdmin:Phone 2019/02/06 + , IoTAdmin:Phone 2019/03/06 + , IoTAdmin:Phone 2019/05/24 + , IoTSec:Phone 2019/09/11 + , IoTSec:Phone 2019/12/04 + , IoTSec:Phone 2020/02/12 + , IoTSec:Phone 2020/05/05 + , IoTSec:Phone 2020/06/03 + , IoTSec:Phone 2020/09/02 + Organizer
BB26.F and BB26.G 2020/09/28 + , SCOTT_talk:Oslo Activities related to SCOTT 2019/06/04 + Presenter
DiversIoT:DiversIoT + , IoTSec:DiversIoT Factpage + , IoTSec:IoTSec + , PhD DSO Security + , SCOTT:SCOTT + Project Participant
IoTSec:DiversIoT Factpage + Project leader
Achieving Business Objectives through Smart Sensor Integration for Office Buildings + , Content Delivery Networks for InfoInternet Deployments + , Pervasive computing in smart electricity grid + , Privacy violation through improper handling of electronic waste + , Semantic Modeling of a Smart Home Infrastructure + , Semantic Modelling and Measuring of Privacy for IoT in Smart Home + , The human aspect in Smart grids (from Security and Privacy point of view) + Supervisor
"Big Data for Energy" Workshop + , 201609-Challenges in radio communications for smart grids + , IoTAdmin:AI-009 + , IoTAdmin:AI-011 + , IoTAdmin:AI-012 + , IoTAdmin:AI-016 + , IoTAdmin:Blockchain in Medical Mar2017 + , Christian Johansen + , IoTSec:Consortium F2F meeting January 2017 + , IoTSec:Consortium F2F meeting September 2016 + , SCOTT:Consortium Meeting Cork Oct2018 + , IoTSec:Consortium Meeting Gjovik Oct 2019 + , IoTSec:Consortium Meeting Halden Apr2019 + , IoTSec:Consortium Meeting Mar2016 + , IoTSec:Consortium Nov.2017 + , IoTSec:Consortium Oct.2018 Oslo + , SCOTT:Consortium f2f Gdansk 2019 + , IoTSec:Consortium meeting Dec2015 + , IoTSec:Consortium meeting Jun2016 + , Cristian + ... User
Christian , User:Christian , Cristian Johansen , Cristian Prisacariu redirect page
 

 

Enter the name of the page to start browsing from.