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. (2019). Proving Inequational Propositions about Haskell Programs in Coq.