Sebastian Böhne

Computer Science · Physical Sciences

2h-index58citations6works0.02yr avg
OpenAlex↗Google Scholar↗

Accepting Students?

No reports yet. Know if this professor is taking students?

Research Topics

Teaching and Learning Programming(3), Logic, programming, and type systems(2), Mathematics Education and Teaching Techniques(2), Innovative Teaching and Learning Methods(2), Open Education and E-Learning(2)

Publications6 total

Different degrees of formality
publish.UP (University of Potsdam)·2019· 1 citedOpen Access
Learning how to Prove: From the Coq Proof Assistant to Textbook Style
arXiv (Cornell University)·2018· 1 citedOpen Access
Theorem Provers as a Learning Tool in Theory of Computation
2017· 16 cited
Hochschuldidaktik der Informatik : HDI2016 – 7. Fachtagung des GI-Fachbereichs Informatik und Ausbildung / Didaktik der Informatik ; 13.-14. September 2016 an der Universität Potsdam
2016
Mathematisches Argumentieren und Beweisen mit dem Theorembeweiser Coq.
publish.UP (University of Potsdam)·2016· 2 citedOpen Access
Teaching theoretical computer science using a cognitive apprenticeship approach
2014· 38 cited

Frequent Co-authors

Christoph Kreitz(5), Maria Knobelsdorf(4), Christiane Frede(1), Elisabeth Dennert-Möller(1), Robert Garmann(1), Bertold Kujath(1), Oliver Zscheyge(1), Karsten Weicker(1), Alexander Steen(1), Max Wisniewski(1), Christoph Benzmüller(1), Kai Gebhardt(1), Matthias Ehlenz(1), Nadine Bergner(1), Ulrik Schroeder(1)