About

I am a professor of computer science at the Flensburg University of Applied Sciences. I am interested in programming languages as well as theoretical and practical aspects of programming and software verification. For example, I am interested in

• probabilistic programming (PADL 2018, TPLP 2020),
• functional algorithms (ICFP 2016),
• free theorems (PLPV 2010),
• testing (FLOPS 2008),
• and formal verification (<Programming> 2019, Haskell 2019).

Publications

• S. Dylus, J. Christiansen, F. Teegen: Implementing a Library for Probabilistic Programming using Non-strict Non-determinism Theory and Practice of Logic Programming (TPLP), 2020
• J. Christiansen, S. Dylus, N. Bunkenburg: Verifying Effectful Haskell Programs in Coq International Symposium on Haskell (Haskell), 2019
• S. Dylus, J. Christiansen, F. Teegen: One Monad to Prove Them All International Conference on the Art, Science, and Engineering of Programming (<Programming>), 2019
• S. Dylus, J. Christiansen, F. Teegen: Probabilistic Functional Logic Programming International Symposium on Practical Aspects of Declarative Languages (PADL), 2018
• J. Christiansen, N. Danilenko, S. Dylus: All sorts of permutations (functional pearl) International Conference on Functional Programming (ICFP), 2016
• J. Christiansen, M. Hanus, F. Reck, D. Seidel: A semantics for weakly encapsulated search in functional logic programs International Symposium on Principles and Practice of Declarative Programming (PPDP), 2013
• J. Christiansen: Sloth - A Tool for Checking Minimal-Strictness International Symposium on Practical Aspects of Declarative Languages (PADL), 2011
• J. Christiansen, D. Seidel: Minimally strict polymorphic functions International Symposium on Principles and Practice of Declarative Programming (PPDP), 2011
• J. Christiansen, D. Seidel, J. Voigtländer: Free theorems for functional logic programs Workshop Programming Languages meets Program Verification (PLPV), 2010
• J. Christiansen, D. Seidel, J. Voigtländer: An Adequate, Denotational, Functional-Style Semantics for Typed FlatCurry Workshop on Functional and Constraint Logic Programming
• B. Braßel, J. Christiansen: A Relation Algebraic Semantics for a Lazy Functional Logic Language International Conference on Relational Methods in Computer Science (RelMiCS), 2008
• J. Christiansen, S. Fischer: EasyCheck - Test Data for Free International Symposium on Functional and Logic Programming (FLOPS), 2008
• B. Braßel, J. Christiansen: Denotation by Transformation International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR), 2007
• J. Christiansen, F. Huch: A purely functional implementation of ROBDDs in Haskell Symposium on Trends in Functional Programming (TFP), 2006
• J. Christiansen, F Huch: Searching for deadlocks while debugging concurrent haskell programs International Conference on Functional Programming (ICFP), 2004