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)
P.O. Box 60 12 03
14412 Potsdam


Please use the following address:

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. 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.