Dipl.-Inform. Nuria Brede


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.



Potsdam Institute for Climate Impact Research (PIK)
T +49 (0)331 288 2558
P.O. Box 60 12 03
14412 Potsdam


University of Potsdam
Institute of Computer Science
Chair of Theoretical Computer Science
An der Bahn 2, H70 / 1.08
T +49 (0)331 977 3071
14476 Potsdam-Golm

Nuria Brede holds a degree in computer science ("Diplom", former German degree equivalent to MSc) from the University of Potsdam. There she also was a research assistant at the Chair of Theoretical Computer Science from 2009-2018 and still 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. Since 2019 she is 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 is associated with the Computational Methods and Visualization activity of PIK's research department Complexity Science.