• Institut
    • Willkommen
    • Kontakte und Gremien
    • Alle Mitarbeiter
    • Services
    • Informationen für Mitarbeiter
  • Studium am Institut
    • Übersicht
    • Für Studierende
    • Für Studieninteressierte
    • Lehramt Informatik
    • Für Alumni
  • Forschungsgruppen
    • Gesamtübersicht
    • Betriebssysteme und Verteilte Systeme
    • Didaktik der Informatik
    • Komplexe Multimediale Anwendungsarchitekturen
    • Maschinelles Lernen
    • Software Engineering
    • Theoretische Informatik
    • Wissensverarbeitung und Informationssysteme
    • Design- und Testmethodik
    • Architekturen eingebetteter Systeme für die Signalverarbeitung
    • Data Science in Agriculture
    • Arbeitsgruppe Fehlertolerantes Rechnen
  • Internationales
    • Übersicht
    • Im Ausland studieren
    • Nach Potsdam kommen
    • Dozentenaustausch
  •    Uni-Startseite
  • Notfall
  • Uni A-Z
  •    Gebärdensprache
  •    Leichte Sprache
  •    Sitemap
  • Schliessen
  • Schliessen
  • English
  • Übersicht
  • Übersicht
  • Übersicht
  • Schliessen
  • Studium
    • Studieren an der UP
    • Studienangebot
    • Bewerbung und Immatrikulation
    • Studium konkret
    • Beratungs- und Serviceeinrichtungen
    • Termine und Fristen
  • Forschung
    • Forschen an der UP
    • Profile, Programme und Projekte
    • Forschungsförderung
    • Forschungsdaten
    • Kooperationen und Partnerschaften
    • Wissenschaftlicher Nachwuchs
  • Universität
    • UP entdecken
    • Organisation
    • Wirtschaft, Transfer und Gesellschaft
    • Campus International
    • Förderinstrumente
    • Arbeiten an der UP
  • Online-Dienste
    • Intranet
    • BI.UP
    • Mail.UP (Webmailbox)
    • PULS
    • Moodle
    • Universitätsbibliothek
    • Evaluationsportal (PEP)
    • Praxisportal
    • ZIM – Zentrum für IT und Medien
  • Schliessen
 
Logo Professur Theoretische Informatik
Professur Theoretische Informatik
  • Deutsch
    • English
    •  
    •  
    •  
  • Notfall
  • Uni A-Z
  • Studium
    • Studieren an der UP
    • Studienangebot
    • Bewerbung und Immatrikulation
    • Studium konkret
    • Beratungs- und Serviceeinrichtungen
    • Termine und Fristen
  • Forschung
    • Forschen an der UP
    • Profile, Programme und Projekte
    • Forschungsförderung
    • Forschungsdaten
    • Kooperationen und Partnerschaften
    • Wissenschaftlicher Nachwuchs
  • Universität
    • UP entdecken
    • Organisation
    • Wirtschaft, Transfer und Gesellschaft
    • Campus International
    • Förderinstrumente
    • Arbeiten an der UP
  • Online-Dienste
    • Intranet
    • BI.UP
    • Mail.UP (Webmailbox)
    • PULS
    • Moodle
    • Universitätsbibliothek
    • Evaluationsportal (PEP)
    • Praxisportal
    • ZIM – Zentrum für IT und Medien
Logo Professur Theoretische Informatik
Professur Theoretische Informatik
  • Institut
    • Willkommen
    • Kontakte und Gremien
    • Alle Mitarbeiter
    • Services
    • Informationen für Mitarbeiter
  • Studium am Institut
    • Übersicht
    • Für Studierende
    • Für Studieninteressierte
    • Lehramt Informatik
    • Für Alumni
  • Forschungsgruppen
    • Gesamtübersicht
    • Betriebssysteme und Verteilte Systeme
    • Didaktik der Informatik
    • Komplexe Multimediale Anwendungsarchitekturen
    • Maschinelles Lernen
    • Software Engineering
    • Theoretische Informatik
    • Wissensverarbeitung und Informationssysteme
    • Design- und Testmethodik
    • Architekturen eingebetteter Systeme für die Signalverarbeitung
    • Data Science in Agriculture
    • Arbeitsgruppe Fehlertolerantes Rechnen
  • Internationales
    • Übersicht
    • Im Ausland studieren
    • Nach Potsdam kommen
    • Dozentenaustausch
Schliessen
  • Professur Theoretische Informatik
  • Übersicht
Übersicht
  • Übersicht
  • Über uns
  • Mitarbeiter
  • Lehre
  • Forschung
  • Übersicht
  • Über uns
  • Mitarbeiter
  • Lehre
  • Forschung

Lehrstuhl Theoretische Informatik

Willkommen!

Die Arbeitsgruppe Theoretische Informatik in einer Videokonferenz
Foto: Richter

Personen

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

     

Aktuelle Lehre

  • Formale Grundlagen der Informatik/Theoretische Informatik I
  • Automatisierte Logik und Programmierung: Formale Kalküle und Beweissysteme
  • Proofs by Automated Systems: Applications and Desirable Features
  • Cartesisches Seminar
  • Theorie-Kolloquium
Letzte Aktualisierung: 10.11.2022, Tim Richter

Soziale Medien

Facebook

Instagram

LinkedIn

Research Gate

Twitter

XING

YouTube

Kontakt

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-3041
Fax: +49 331 977-3042

Impressum
Datenschutzerklärung
Barrierefreiheit

Anfahrt

Größere Karte anzeigen

Zertifikate

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

Mitgliedschaften

Netzwerk Studienorientierung Brandenburg
Scholars at Risk
EUA
EDUC
CONAHEC
Yerun  

Uni kompakt

Termine & Fristen 
Presse 
Stellenausschreibungen
UNIshop der Universität Potsdam
Vorlesungsverzeichnis 
Adressen, Anfahrt und Lagepläne

Diese Seite

Drucken
Als Bookmark speichern

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