The PhD course "Functional Programming and Climate Impact Research" started 2024-03-25 with seminar 1 (see introduction slides including exercises). We did a round of introductions, followed by an introduction by Patrik to the course (prerequisites, contents, examination, learning outcomes, schedule, first few weeks). Then Patrik presented some introductory material (see the slides) about equations, problems, solutions, specifications, domain-specific languages, etc. In the course we use logic and functional programming notation (mostly Haskell and Agda) to specify, implement, and test concepts from Climate Impact Research. Then we did a brief introduction to some relevant domain-specific notions: prisoner's dilemma, strategy profile, Nash equilibrium, policy, optimality, agent-based models, green growth, equational reasoning.
Homework for next seminar:
Homework for next seminar:
- solve the exercises (from the slides) and
- actively read "Vulnerability modelling with functional programming and dependent types" in preparation for the seminar by Cezar Ionescu.
Next up was an invited talk by Prof. Anil Madhavapeddy:
Title: (Functional) Programming for the Planet
Abstract: As simultaneous crises in emissions and biodiversity sweep the planet, computer systems that analyse the complex interplay of our globe’s health are ever more crucial to guiding policy decisions about how to get out of the mess we’re in. In this talk, we examine how functional programming can contribute to building systems that are more resilient, predictable and reproducible in the face of huge amounts of input data (such as from satellites and ground sensing) that demands precise access control (or else poachers and malicious actors go straight to the source) and requires interactive exploration from non-CS-experts at different levels of the software stack (to do climate science). We will also highlight how our ongoing cross-disciplinary research is having a real impact on conservation projects that are sorely underserved by current systems/PL infrastructure, and also how we went about forging these links. We hope to encourage some of you to form your own local collaborations with your colleagues working on the climate crisis!
+ For those who missed it, there is a closely related recorded keynote from ICFP 2023.
Title: (Functional) Programming for the Planet
Abstract: As simultaneous crises in emissions and biodiversity sweep the planet, computer systems that analyse the complex interplay of our globe’s health are ever more crucial to guiding policy decisions about how to get out of the mess we’re in. In this talk, we examine how functional programming can contribute to building systems that are more resilient, predictable and reproducible in the face of huge amounts of input data (such as from satellites and ground sensing) that demands precise access control (or else poachers and malicious actors go straight to the source) and requires interactive exploration from non-CS-experts at different levels of the software stack (to do climate science). We will also highlight how our ongoing cross-disciplinary research is having a real impact on conservation projects that are sorely underserved by current systems/PL infrastructure, and also how we went about forging these links. We hope to encourage some of you to form your own local collaborations with your colleagues working on the climate crisis!
+ For those who missed it, there is a closely related recorded keynote from ICFP 2023.
