Prof. Dr. Jan Christiansen
Professor am Fachbereich Information und Kommunikation
Angewandte Informatik Fachliche Studienberatung Anerkennung von Leistungen
Telefon 0461/805-1668
Raum A 206
Professor für
Programmiersprachen und Theorie der Programmierung
Lehre
Lehrt im Studiengang
Organisation
Zuständigkeiten
- Angewandte Informatik Fachliche Studienberatung Anerkennung von Leistungen
- TechStartUp@HS-Flensburg (TeStUp) Informatik | Software Factory
- Software Factory Ansprechpartner
- Konvent FB3 Professor
- Zentraler Gleichstellungsausschuss Professor
Neuste Publikationen
2023
- Prott, K.-O. ., Teegen, F. ., & Christiansen, J. . (2023). Embedding Functional Logic Programming in Haskell via a Compiler Plugin. In Practical Aspects of Declarative Languages. Boston, MA, USA: Springer. http://doi.org/10.1017/978-3-031-24841-2_3
2020
- Dylus, S. ., Christiansen, J. ., & Teegen, F. . (2020). Implementing a Library for Probabilistic Programming Using Non-Strict Non-Determinism. Theory and Practice of Logic Programming, 20, 147–175. http://doi.org/10.1017/S1471068419000085
2019
- Christiansen, J. ., Dylus, S. ., & Bunkenburg, N. . (2019). Verifying Effectful Haskell Programs in Coq. In Proceedings of the 12th ACM SIGPLAN International Symposium on Haskell - Haskell 2019 (S. 125–138). ACM Press. http://doi.org/10.1145/3331545.3342592