About
Last changed on July 14, 2020
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