Dr. Sebastian Böhne

Wissenschaftlicher Mitarbeiter — Research Associate

Forschungsinteressen und -schwerpunkte — Research Interests

• Formalismen in der Mathematik (philosophische und didaktische Betrachtungen)
  — Formalisms in mathematics (philosophical and didactical considerations)
• Liberale Mathematikphilosophien — liberal philosophies of mathematics
• Beweisassistenten (insbesondere Coq) — Proof assistants (especially Coq)
• Typentheorie — Type theory
• Mengentheorie — Set theory

Veröffentlichungen — Publications

• Sebastian Böhne (2019):
  Different Degrees of Formality -- An Introduction to the Concept and a Demonstration of its Usefulness, Ph.D. thesis, Universität Potsdam
  doi: 10.25932/publishup-42379
• Sebastian Böhne, Christoph Kreitz (2018):
  Learning how to Prove: From the Coq Proof Assistant to Textbook Style,
  In Pedro Quaresma & Walther Neuper, editors: Proceedings 6th International Workshop on Theorem proving components for Educational software (ThEdu'17),
  Electronic Proceedings in Theoretical Computer Science 267, pp. 1-18,
  doi: 10.4204/EPTCS.267.1
• Maria Knobelsdorf, Christiane Frede, Sebastian Böhne & Christoph Kreitz (2017):
  Theorem Provers as a Learning Tool in Theory of Computation,
  In Josh Tenenberg, Donald Chinn, Judy Sheard & Lauri Malmi, editors: Proceedings of the 2017 ACM Conference on International Computing Education Research (ICER 2017), pp. 83-92,
  doi: 10.1145/3105726.3106184
• Sebastian Böhne, Maria Knobelsdorf, Christoph Kreitz (2016):
  Mathematisches Argumentieren und Beweisen mit dem Theorembeweiser Coq,
  In: Andreas Schwill & Ulrike Lucke, editors: Hochschuldidaktik der Informatik, 7. Fachtagung des GI-Fachbereichs Informatik und Ausbildung / Didaktik der Informatik (HDI 2016),
  Commentarii informaticae didacticae 10, pp. 69-80, Available at
  http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:kobv:517-opus4-93511
• Maria Knobelsdorf, Christoph Kreitz, Sebastian Böhne (2014):
  Teaching Theoretical Computer Science using a Cognitive Apprenticeship Approach,
  In J. D. Dougherty, Kris Nagel, Adrienne Decker & Kurt Eiselt, editors: The 45th ACM Technical Symposium on Computer Science Education (SIGCSE'14), pp. 67-72,
  doi: 10.1145/2538862.2538944