Abstract: Computational modelling is key to climate science. But models are becoming increasingly complex as we seek to understand our world in more depth and model it at higher fidelity. In the last decade, climate modelling has faced diminishing returns from current hardware trends and software techniques. Developing the required models and analysis tools to effectively process, explore, and derive policy decisions, with a high degree of transparency and trust, remains difficult. In this talk, I'll outline some of the challenges in this space, informed by the work of the Institute of Computing for Climate Science at Cambridge, and the climate modelling projects we are involve in. I will put forward various ideas about how programming language tools and systems could better support climate modelling and their ultimate goals, highlighting a number of ongoing research projects in this space at ICCS on program verification, transparent visualisations, and self-describing code.
Link to join virtually: https://cam-ac-uk.zoom.us/j/81322468305
This talk is being recorded. If you do not wish to be seen in the recording, please avoid sitting in the front three rows of seats in the lecture theatre. Any questions asked will also be included in the recording. The recording will be made available on the Department’s webpage
