Cambridge visit
Optimising Sustainable Energy with Functional Programming
I've just given a talk in Cambridge on "Optimising Sustainable Energy with Functional Programming" and the recording is available on YouTube:
https://youtu.be/NhFhJS4NHDM?si=HlRyz0BdXUdgLvNO
as part of the Cambridge Energy and Environment Group talks and the slides are available here.
The underlying topic is the same as for my talk at Kellogg College, Oxford a month ago, but it is aimed at a bit more technical audience.
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. The core object of study is an expensive black-box function computing multiple objectives, for which we approximate the Pareto front using adaptive mesh refinement.
Bio: Patrik Jansson is a professor in the Computer Science and Engineering Department, joint between Chalmers University of Technology and the 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 the 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 has been on sabbatical in Oxford, as a Visiting Fellow of Kellogg College for Michaelmas term 2024, visiting Prof Jeremy Gibbons.
https://youtu.be/NhFhJS4NHDM?si=HlRyz0BdXUdgLvNO
as part of the Cambridge Energy and Environment Group talks and the slides are available here.
The underlying topic is the same as for my talk at Kellogg College, Oxford a month ago, but it is aimed at a bit more technical audience.
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. The core object of study is an expensive black-box function computing multiple objectives, for which we approximate the Pareto front using adaptive mesh refinement.
Bio: Patrik Jansson is a professor in the Computer Science and Engineering Department, joint between Chalmers University of Technology and the 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 the 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 has been on sabbatical in Oxford, as a Visiting Fellow of Kellogg College for Michaelmas term 2024, visiting Prof Jeremy Gibbons.