Nuria Brede is a computer scientist applying methods from theoretical computer science (type theory, generic programming, program verification) to optimal decision making in the context of climate science. As part of the WP6 team in the EU Horizon 2020 project TiPES, she is interested in the impact of tipping point uncertainties in sequential decision problems on accountable policies.
She is also a doctoral researcher at the University of Potsdam under the supervision of Prof. Dr. Christoph Kreitz.
Department
Contact
14412 Potsdam
ORCID
Please use the following address:
14476 Potsdam-Golm
Nuria Brede holds a degree in computer science ("Diplom", former German degree equivalent to MSc) from the University of Potsdam. She was a research assistant at the Chair of Theoretical Computer Science from 2009 to 2018, where she currently pursues her doctoral studies under the supervision of Prof. Dr. Christoph Kreitz on category theoretical models of dependent type theory and the constructive interpretation of classical logic. From 2019 to 2022 she was a researcher at PIK for the EU Horizon 2020 project TiPES ("Tipping Points in the Earth System"), applying type theory for verified optimal decision making under uncertainty. She continues to be affiliated with the Computational Methods and Visualization activity of PIK's research department Complexity Science as a guest researcher.
