Christian Johansen


Jump to: navigation, search

User Christian Johansen

(edit page)

First Name Christian
Last Name Johansen
Company UiO, UNIK
about: Researcher at ...
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

Christian Johansen.jpg

Christian Johansen is project leader of following ongoing Project(s): Christian Johansen is involved in the ongoing Projects:

a list of all projects in WNaS is listed in Projects

Christian Johansen is supervisor of the following ongoing theses: Christian Johansen is offering the following theses: Christian Johansen has previously been supervisor for: Christian Johansen participated in Meeting(s):