On 2024-11-06 I delivered a talk at Kellogg College, Oxford on "Optimising Sustainable Energy with Functional Programming". Here are links to slides, the event, and the video recording.
Abstract:
This talk describes some results from a collaboration between Computer Science, Physics, and Climate Impact Research on theories and tools for performance optimisation of strongly coupled physical systems with a large parameter space. The first part of the talk discusses computing optimal policies; we have used these techniques for climate decisions and for fusion energy designs. The second part of the talk will focus on one particularly important concept: the Pareto-front, which mathematically captures the trade-offs between two (or more) conflicting objectives. This talk is aimed at a broad technical audience, both computing and sustainability.
Abstract:
This talk describes some results from a collaboration between Computer Science, Physics, and Climate Impact Research on theories and tools for performance optimisation of strongly coupled physical systems with a large parameter space. The first part of the talk discusses computing optimal policies; we have used these techniques for climate decisions and for fusion energy designs. The second part of the talk will focus on one particularly important concept: the Pareto-front, which mathematically captures the trade-offs between two (or more) conflicting objectives. This talk is aimed at a broad technical audience, both computing and sustainability.
Bio:
Patrik Jansson is a professor in the Computer Science and Engineering Department, joint between Chalmers University of Technology and University of Gothenburg, Sweden. His main research areas are Programming Languages, Functional Programming, Domain-Specific Languages, and their application to climate, physics, etc. His research focus is on systems for constructing correct and reusable software. The goal is to develop the programming languages of the future and theories, tests and proofs of correctness of high-level models of complex systems. Important techniques include functional programming, domain-specific languages and type theory. Examples of applications are climate impact research, physics, and language technology but many results are also curiosity driven basic research with generic applicability in most areas.
Patrik Jansson is a professor in the Computer Science and Engineering Department, joint between Chalmers University of Technology and University of Gothenburg, Sweden. His main research areas are Programming Languages, Functional Programming, Domain-Specific Languages, and their application to climate, physics, etc. His research focus is on systems for constructing correct and reusable software. The goal is to develop the programming languages of the future and theories, tests and proofs of correctness of high-level models of complex systems. Important techniques include functional programming, domain-specific languages and type theory. Examples of applications are climate impact research, physics, and language technology but many results are also curiosity driven basic research with generic applicability in most areas.
Patrik is a Visiting Fellow of Kellogg College from Michaelmas Term 2024, visiting Jeremy Gibbons.