Computer science, program verification and climate impact research

​Inaugural lecture for adjunct associate professor by Dr Nicola Botta, Computer Science and Engineering.

According to an agreement between Chalmers University of Technology and Potsdam Institute of Climate Impact Research (PIK), Dr Nicola Botta will join CSE as an adjunct associate professor during 2019-2021.
CSE has a long term informal collaboration with PIK, which will be strengthened through this appointment, and help the department to further contribute to a sustainable future through research and education.
Dr Nicola Botta will be active in the departments research, as well as the supervision of graduate and undergraduate students. 

Computer science can contribute to climate impact research in many interesting ways. Vice versa, sustainability science represents a unique opportunity to think about software technologies from a fresh perspective. I am going to walk you through a simple greenhouse gas emission dilemma and argue that methods for program verification can support rational, transparent and accountable decision making in situations in which decisions have to be taken under uncertainties and uncertainties cannot be accounted for within climate models.
Dr Nicola Botta is a senior researcher at the Potsdam Institute for Climate Impact Reserach. He ahs been working on sequential decision problems (with Patrik Jansson at CSE and Cezar Ionescu at Oxford University), on agent based models of exchange (with A Mandel, Université Paris 1) and on numerical methods for partial differential equations (with R Klein, FU-Berlin) in the context of climate impact research. He obtained a doctoral degree from the Department of Engineering of the ETH Zürich.
Category Public lecture
Location: EC, lecture hall, Hörsalsvägen 11, EDIT trappa C, D och H
Starts: 11 March, 2019, 11:00
Ends: 11 March, 2019, 12:00

Published: Fri 08 Feb 2019. Modified: Tue 19 Feb 2019