Patrik Jansson

Professor of Computer Science


Curriculum vitae



+46317725415


Computer Science and Engineering

Chalmers University of Technology

Room number: EDIT-6452
My office is in the EDIT building of campus Johanneberg, near Rännvägen 6.



Talk: "Optimising Sustainable Energy with Functional Programming"


October 29, 2024

On 2024-11-06 I will give a talk at Kellogg College, Oxford on "Optimising Sustainable Energy with Functional Programming":
  https://www.eventbrite.co.uk/e/optimising-sustainable-energy-with-functional-programming-tickets-1064147747559?aff=oddtdtcreator

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 is a Visiting Fellow of Kellogg College from Michaelmas Term 2024, visiting Jeremy Gibbons.


Share



Follow this website


You need to create an Owlstown account to follow this website.


Sign up

Already an Owlstown member?

Log in