• Institute
    • Welcome
    • Contact
    • Staff
    • Services
    • Internal Information
  • Education
    • Overview
    • For Students
    • For Prospective Students
    • Alumni
  • Research Groups
    • Complete list
    • Operating Systems and Distributed Systems
    • Didactics of Computer Science
    • Complex Multimedia Application Systems
    • Machine Learning
    • Software Engineering
    • Theoretical Computer Science
    • Knowledge Processing and Information Systems
    • Design and Test Methodology
    • Embedded Systems Architectures for Signal Processing
    • Data Science in Agriculture
    • Research Group Fault-tolerant Computing
  • International
    • Overview
    • Going abroad
    • Coming to Potsdam
    • Visiting Researchers
  • Close
  • Close
  • Deutsch
  • English
  • Übersicht
  • Übersicht
  • Studying
    • Studying at the UP
    • What to Study
    • Application and Enrollment
    • Studying
    • Advising and Services
    • Dates and Deadlines
  • Research
    • Research at the UP
    • Profiles, Programs and Projects
    • Research Funding
    • Research Data
    • Cooperations and Partnerships
    • Young Academics
  • University
    • Explore the UP
    • Faculties
    • Organization
    • Corporate Community Relations
    • Campus International
    • Förderinstrumente
    • Working at the UP
  • Online Services
    • Intranet
    • BI.UP
    • Mail.UP (Webmailbox)
    • PULS
    • Moodle
    • University Library
    • Evaluation Portal (PEP)
    • Internship Portal
    • ZIM
  • Home
  • Sitemap
 
Logo Professur Theoretische Informatik
Professur Theoretische Informatik
  • English
    • Deutsch
    • English
    •  
    •  
  • Home
  • Sitemap
  • Studying
    • Studying at the UP
    • What to Study
    • Application and Enrollment
    • Studying
    • Advising and Services
    • Dates and Deadlines
  • Research
    • Research at the UP
    • Profiles, Programs and Projects
    • Research Funding
    • Research Data
    • Cooperations and Partnerships
    • Young Academics
  • University
    • Explore the UP
    • Faculties
    • Organization
    • Corporate Community Relations
    • Campus International
    • Förderinstrumente
    • Working at the UP
  • Online Services
    • Intranet
    • BI.UP
    • Mail.UP (Webmailbox)
    • PULS
    • Moodle
    • University Library
    • Evaluation Portal (PEP)
    • Internship Portal
    • ZIM
Logo Professur Theoretische Informatik
Professur Theoretische Informatik
  • Institute
    • Welcome
    • Contact
    • Staff
    • Services
    • Internal Information
  • Education
    • Overview
    • For Students
    • For Prospective Students
    • Alumni
  • Research Groups
    • Complete list
    • Operating Systems and Distributed Systems
    • Didactics of Computer Science
    • Complex Multimedia Application Systems
    • Machine Learning
    • Software Engineering
    • Theoretical Computer Science
    • Knowledge Processing and Information Systems
    • Design and Test Methodology
    • Embedded Systems Architectures for Signal Processing
    • Data Science in Agriculture
    • Research Group Fault-tolerant Computing
  • International
    • Overview
    • Going abroad
    • Coming to Potsdam
    • Visiting Researchers
Close
  • Professur Theoretische Informatik
  • Overview
Overview
  • Overview
  • About
  • Staff
  • Teaching
  • Research
  • Overview
  • About
  • Staff
  • Teaching
  • Research

Chair of Theoretical Computer Science

Welcome!

The Theoretical Computer Science group in a video conference
Image: Richter

People

  • Prof. Dr. Christoph Kreitz
  • Dr. Sebastian Böhne
  • Nuria Brede
  • Mario Frank
  • Christoph Glinzer
  • Tom Kranz
  • Tim Richter

     

Current Teaching

  • Theoretische Informatik II: Effiziente Algorithmen
  • Automatisierte Logik und Programmierung II
  • Mathematisches Beweisen lernen mithilfe des Beweisassistenten Coq
  • Cartesian Seminar
  • Theorie-Kolloquium
Last changed: 09.04.2021, Tim Richter

Social Media

Facebook
YouTube
XING
Twitter
Research Gate

Contact

Theoretische Informatik
Institut für Informatik und Computational Science
Universität Potsdam
Campus Golm, Haus 70
An der Bahn 2
14476 Potsdam

Tel.: +49 331 977-3042
Fax: +49 331 977-3042

Imprint
Data Protection Declaration
Accessibility

Route

show big map

Certificates

Bundesinitiative Klischeefrei
Code of Conduct
Exzellente Lehre
HRK-Audit & HRK-Re-Audit
Systemakkreditierung
Total E-Quality

Memberships

Netzwerk Studienorientierung
Scholars at Risk NetworkScholars at Risk
EUA
EDUC
CONAHEC

Quick Links

Dates and Deadlines
Press
Jobs and Vacancies
UNIshop
Course Catalogue
Central Addresses and Maps

This Page

Print
Save as Bookmark

URL:https://www.uni-potsdam.de/en/thi/index