Difference between revisions of "Christian Johansen"

From its-wiki.no
Jump to: navigation, search
 
Line 5: Line 5:
 
|Mobile=+47 97535582
 
|Mobile=+47 97535582
 
|Email=cristi@ifi.uio.no
 
|Email=cristi@ifi.uio.no
|Partner=UiO, ITS, Ifi,
+
|Partner=UiO, NTNU,
|Headline=Researcher at TIS
+
|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,
 
|Keywords=concurrency models, formal methods, security, safety verification, formal tools, privacy, logic in computer science, process algebras, semantics of programming languages, verifiable security,
 
}}
 
}}
 
http://www.mn.uio.no/ifi/english/people/aca/cristi/
 
http://www.mn.uio.no/ifi/english/people/aca/cristi/

Latest revision as of 09:50, 7 January 2021

Thumb Title Keywords Date Author/Project
[[File:|frameless|150px]] BB24.I and BB26.F and BB26.G
Click to Open
Meeting
S-ABAC, Measurable Security, Privacy 28 September 2020 SCOTT
Screenshot from 2019-06-04 19-24-33.png Oslo Activities related to SCOTT
Click to Open
SWITS annual meeting of Swedish security groups
SCOTT 4 June 2019 '


Finished projects, led by Christian Johansen:
 dealing withsupported by:finished
DiversIoT FactpageDiversIoTNFR1 April 2019
Christian Johansen was member of projects:


For a list of all projects, see Projects

Christian Johansen participated in Meeting(s):




About

http://www.mn.uio.no/ifi/english/people/aca/cristi/