Research

• Functional Programming
• Sloth
  Sloth is an approach to check whether a function is least-strict. In contrast to another approach called StrictCheck it considers the sequentiality of functions. This page shows how Sloth can be used and presents some standard Haskell functions that are not least strict.
• Functional Logic Programming
• Curry Wiki
  A Wiki about the functional logic programming language Curry. For more information about Curry have a look at http://www.curry-language.org.
• EasyCheck
  An automatic testing tool like QuickCheck that emploies logic features.
  Test Data Generators = Free Variables
  If debugging is the process of removing bugs, then programming must be the process of putting them in. (Edsger W. Dijkstra)

Publications

• Christiansen, J., Fischer, S.: EasyCheck - Test Data for Free
  To be published: In Proceedings of the International Symposium on Functional and Logic Programming (FLOPS 2008)
  Ise, Japan, April 14 - 16, 2008. © Copyright 2008 by Springer
  pdf bib
• Braßel, B., Christiansen, J.: A Relation Algebraic Semantics for a Lazy Functional Logic Language
  To be published: In Proceedings of the International Conference on Relational Methods in Computer Science (RelMiCS 2008)
  Frauenwörth, Germany, April 7 - 11, 2008. © Copyright 2008 by Springer
  pdf bib
• Braßel, B., Christiansen, J.: Denotation by Transformation - Towards Obtaining a Denotational Semantics by Transformation to Point-free Style
  To be published: In Proceedings of the International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR 2007)
  Kongens Lyngby, Denmark, August 23 - 24, 2007. © Copyright 2007 by Springer
  pdf bib Technical Report
• Christiansen, J., Huch, F.: A purely functional implementation of ROBDDs in Haskell
  In Proceedings of the Symposium on Trends in Functional Programming (TFP 2006)
  Nottingham, UK, April 19 - 21, 2006. © Copyright 2006 by Springer
  pdf bib
• Christiansen, J., Huch, F.: Searching for deadlocks while debugging Concurrent Haskell programs
  In Proceedings of the International Conference on Functional Programming (ICFP 2004)
  Snowbird, Utah, September 19 - 22, 2004. © Copyright 2004 by ACM, Inc.
  pdf bib

Teaching

• Sommer Semester 2009
  • Semantik von Programmiersprachen
• Winter Semester 2008/2009
  • Programmierpraktikum P1
• Sommer Semester 2008
  • Funktionale Programmierung
• Winter Semester 2007/2008
  • Programmierpraktikum P1
• Sommer Semester 2007
  • Verteilte Echtzeitprogrammierung
  • Semantik von Programmiersprachen
• Winter Semester 2006/2007
  • Programmierpraktikum P1

Biography

• born november 4th, 1980 Heide, Germany
• 2000 German "Abitur"
• 2000 - 2006 Studies of Computer Science, Christian-Albrechts-University of Kiel
• 2006 Diploma in Computer Science at the Christian-Albrechts-University of Kiel
• since 2006 Research Assistant at the Department of Computer Science of the Christian-Albrechts-University of Kiel

Secondary Stuff

• Presenting good Research
  This page by Simon Peyton Jones from Microsoft Research provides two videos and the slides of very nice talks about writing research papers and giving talks.
• Denotatioal Semantics
  An introduction to the basic concepts of denotational semantics in a concrete manner by means of examples in the programming language Haskell.
• Functional Pearls
  This page provides links to almost all functional pearls that were published in the last 16 years.
• Inexhaustible Collection of interesting Articles
  This page provides a variety of papers, mailinglist posts and programs to a variety of topics in the area of programming. The main part of articles refers to functional programming and especially to Haskell. The page is maintained by Oleg Kiselyov.
• "Data in Haskell is like Schrodinger's famous undead cat - it doesn't 'exist' until you 'observe' it."
  Quote by Andrew Coppin on the Haskell-Cafe mailing list.
• The Millenium Problems
  In 2000 the Clay Institute of Mathematics has named seven Prize Problems. They designated a $7 million prize fund for the solution to these problems, with $1 million allocated to each. Besides more information about the millenium problems the website offers a collection of videos of lectures about these famous problems.

The Real World

• "Es ist der Segen und das Kreuz des Rechtsstaates, dass er auch die rechtmäßig behandeln muss, die sich gegen das Recht vergangen, das Gesetz gebrochen haben, ob als Mörder oder Diebe, als Entführer oder Betrüger. Das Recht steht über Stimmungen, Volksmeinungen, Umfragen, Statistiken, es steht über Schlagzeilendemagogie und tagespolitischer Spekulation. Das 'gesunde Volksempfinden' hat sich in der Geschichte meistens als krank erwiesen, und nicht nur im Lande der häßlichen Deutschen. Wenn es - außer ihrem erklärten Ziel - das Ziel der Terroristen ist, innenpolitische Konfrontation zu schaffen, so sind sie auf dem besten Wege, dieses Ziel zu erreichen."
  
  Heinrich Böll, 1977
• 
• Say NO! to the sales man. Decline taking a plastic bag.
  More informations on plastic bags