# About

Last changed on February 24, 2019

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

- functional logic programming (PADL 2018),
- functional algorithms (ICFP 2016),
- free theorems (PLPV 2010),
- testing (FLOPS 2008),
- and formal verification (<Programming> 2019).

## Publications

**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