Dr. Sebastian Böhne

Wissenschaftlicher Mitarbeiter — Research Associate

photo


Forschungsinteressen und -schwerpunkte — Research Interests



Veröffentlichungen — Publications



Unveröffentlichte Schriften — Unpublished articles



Lehre — Teaching

  • Mathematisches Beweisen lernen mithilfe des Beweisassistenten Coq
    (Learning how to prove mathematically with the help of the Coq proof assistant). SoSe 2017
  • Mathematisch Argumentieren und Beweisen in Coq
    (Mathematical Reasoning and Proving in Coq). WS 2016/17
    (Video records of the lectures in German)
  • Theoretische Informatik II (Computability and Complexity Theory). SoSe 2016
  • Geschichte der Logik (History of Logic). SoSe 2015
  • Grenzen der Mathematik (Limitations of Mathematics). WS 2013/14
  • Theoretische Informatik II (Computability and Complexity Theory). SoSe 2013
  • Theoretische Informatik I (Automata Theory and Formal Languages). WS 2012/13


Kontakt — Contact Details

Theoretische Informatik
Institut für Informatik und Computational Science
Haus 4
August-Bebel-Straße 89
14482 Potsdam
Raum: 1.23

E-Mail: boehne [at] uni [minus] potsdam [dot] de

(Telefon: +49 (0) 331 977-3014)

Letzte Änderung: 2019--03--01