Skip to main navigation Skip to search Skip to main content

David Thrane Christiansen

    Activity: Hosting a visitor typesHosting an academic visitor

    Description

    “David Thrane Christiansen is director of the international Haskell
    Foundation and conducts research in programming languages,
    type systems and formal proof tools. Hosting him as a guest at
    ITU CS provides valuable research collaboration and networking
    opportunities.
    Period15 Mar 202331 Dec 2025
    Visiting fromHaskell Foundation, Inc. (United States)
    Visitor degreePhD