Hosting an academic visitor: David ThraneChristiansen
- Peter Sestoft(Host)
Activity:
Hosting a visitor types
Hosting an academic visitor
Activity Information
Activity type
Hosting an academic visitor
Time period
15/03/2023 – 31/12/2025Visitor
David Thrane Christiansen, PhD
- Haskell Foundation, Inc.
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.
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.