Christian Johansen

From Basic Internet Foundation Wiki

User Christian Johansen

(edit page)


First Name Christian
Last Name Johansen
Home Page
Company UiO, NTNU
about: Professor at NTNU, previously researcher at UiO
involved in Projects
Keywords concurrency models, formal methods, security, safety verification, formal tools, privacy, logic in computer science, process algebras, semantics of programming languages, verifiable security
Major Keywords from activities

{{#ifexist: File:Christian Johansen.jpg |

|

"Upload File" Christian Johansen.jpg to see your picture }}

{{#widget:LinkedIn Profile |profile={{{LinkedIN}}} |name=Christian Johansen |popup }}


Presentations

Thumb Title Keywords Date Author/Project
[[File:|frameless|150px]] BB24.I and BB26.F and BB26.G
Click to Open
Meeting
Privacy, S-ABAC, Measurable Security 28 September 2020 SCOTT


Projects

Christian Johansen was member of projects:

For a list of all projects, see Projects

Thesis

Christian Johansen has previously been supervisor for:

Meetings

Christian Johansen participated in Meeting(s):

... further results

<headertabs/>




About

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