Jan Christiansen

Jan Christiansen is a Professor in the Department of Information and Communication at Flensburg University of Applied Sciences. He specializes in Programming Languages and Programming Theory, teaching in the Applied Computer Science program. His research focuses on functional logic programming, probabilistic programming, formal verification, and compiler design.

His key research areas include the integration of functional logic programming into Haskell, probabilistic programming semantics, and formal methods for verifying Haskell programs in Coq. He has contributed to tools like Sloth for strictness analysis and has explored foundational aspects of encapsulated search in Curry. His work bridges functional programming, logic programming, and probabilistic models, emphasizing practical implementations and theoretical rigor.

Christiansen leads the Academic Advisory Service and co-founded TechStartUp@HS-Flensburg. His recent publications span compiler plugins for embedding functional logic in Haskell, probabilistic library implementations, and monadic approaches to program verification. His research bridges academia and practical software development, with implications for both theory and industry.