Dipl.-Inform. Nuria Brede

Wissenschaftliche Mitarbeiterin — Research Associate

Kontakt — Contact Details

Theoretische Informatik
Institut für Informatik
Haus 4
August-Bebel-Straße 89
14482 Potsdam
Raum: 1.24

Telefon: +49 (0) 331 977-3071
Telefax: +49 (0) 331 977-3042 (Sekretariat)
E-Mail: brede [at] cs [dot] uni [minus] potsdam [dot] de

Sprechzeiten — Office Hours

• nach Vereinbarung und wenn die Bürotür offen ist

Interessen und Schwerpunkte — Research Interests

• Klassische und konstruktive Logik — Classical and constructive logics
• Typentheorie — Type theory
• Programm-Synthese — Program synthesis

Veröffentlichungen — Publications

• Nuria Brede: λμPRL - A Proof Refinement Calculus for Classical Reasoning in Computational Type Theory, Diploma Thesis, University of Potsdam, 2009

Lehre — Teaching

• Theoretische Informatik II (Computability and Complexity Theory) SoSe 2011
• Seminar Sicherheit und Zuverlässigkeit (Security and Reliability) WiSe 2010/11
• Seminar Kategorientheorie (Category Theory) SoSe 2010
• Seminar Kolmogorovkomplexität (Kolmogorov Complexity) WiSe 2009/10
• Theoretische Informatik II (Computability and Complexity Theory) SoSe 2009