Christian Johansen

Christian Johansen is a Professor at the Department of Information Security and Communication Technology, NTNU, leading the Systems Security Group (S2G). He specializes in Security and Theoretical Computer Science, focusing on formal methods for complex systems' reliability, including security, safety, and concurrency. His work involves models like the Timed Distributed pi-calculus and tools such as LightSC for IoT security.

Education: Completed doctoral studies at the University of Oslo in 2010. Research interests span formal verification, cyber-physical systems, and human behavior modeling. Over 60 publications in top venues like CONCUR, ATVA, and journals such as JLAMP.

Advising and Grants: Supervised numerous PhD/MSc students and led projects funded by EU-FP7, Horizon-2020, NFR-FRINATEK, and others. Involved in organizing conferences and workshops in formal methods and security.

Labs/Teams: Heads S2G and contributes to CCIS, Norwegian Cyber Range, and S2G Playground. Develops tools like SAT modulo Discrete Event Simulation for railway systems and models for human behavior in security.