BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:Optimising Sustainable Energy with Functional Programming - Prof. 
 Patrik Jansson\, Chalmers\, Sweden\, Visiting Fellow at Kellogg College\, 
 Oxford
DTSTART:20241213T130000Z
DTEND:20241213T140000Z
UID:TALK225490@talks.cam.ac.uk
CONTACT:114742
DESCRIPTION:*Abstract*\n\nThis talk describes some results from a collabor
 ation between Computer Science\, Physics\, and Climate Impact Research on 
 theories and tools for performance optimisation of strongly coupled physic
 al systems with a large parameter space. The first part of the talk discus
 ses 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 mat
 hematically captures the trade-offs between two (or more) conflicting obje
 ctives. The core object of study is an expensive black-box function comput
 ing multiple objectives\, for which we approximate the Pareto front using 
 adaptive mesh refinement.\n\n*Bio*\n\nPatrik Jansson is a professor in the
  Computer Science and Engineering Department\, joint between Chalmers Univ
 ersity of Technology and University of Gothenburg\, Sweden. His main resea
 rch areas are Programming Languages\, Functional Programming\, Domain-Spec
 ific Languages\, and their application to climate\, physics\, etc. His res
 earch focus is on systems for constructing correct and reusable software. 
 The goal is to develop the programming languages of the future and theorie
 s\, tests and proofs of correctness of high-level models of complex system
 s. Important techniques include functional programming\, domain-specific l
 anguages and type theory. Examples of applications are climate impact rese
 arch\, physics\, and language technology but many results are also curiosi
 ty driven basic research with generic applicability in most areas.\n\nPatr
 ik has been on sabbatical in Oxford\, as a Visiting Fellow of Kellogg Coll
 ege for Michaelmas term 2024\, visiting Prof Jeremy Gibbons.\n
LOCATION:SS03\, William Gates Building. Zoom link: https://cl-cam-ac-uk.zo
 om.us/j/4361570789?pwd=Nkl2T3ZLaTZwRm05bzRTOUUxY3Q4QT09&amp\;from=addon 
END:VEVENT
END:VCALENDAR