Research output per year
Research output per year
Universitetsparken 5
2100 København Ø
My current research is focused on the project DH4PMP: Digital Humanities for Philosophy of Mathematical Practice. In this project, we deploy digital methods (big data and machine learning) to study mathematical research practices, and we have access to a wide range of corpora and tools.
Currently, we are primarily interested in the roles of diagrams in mathematical practice, and the roles of linguistic elements in mathematical argumentation.
My research areas centre on history and philosophy of science, in particular the history of mathematics after 1800, the philosophy of mathematics in the direction of Philosophy of Mathematical Practice, and the history and philosophy of computer science.
I have published more than 100 items, including research publications in history of mathematics, philosophy of mathematics, mathematics, mathematics education, and popular expositions.
Among my key topics of research are the transition to a concept-centred approach to mathematics in the early 19th century, the internationalization of mathematics in Scandinavia (early 20th century), and the impact of computers on mathematical resaerch practices.
I teach undergraduate courses in philsosophy of science for computer science students and for students of computer science and economics. Furthermore, I teach history of computer science.
I supervise student projects in history and philosophy of the mathematical and computational sciences. Thus far, I have supervised about 20 BSc-projects, a similar number of MSc-theses, and 2 PhD projects.
Associate professor, Aarhus University
2008 → 2016
Research output: Book/Report › Book › Education
Research output: Contribution to journal › Journal article › Research › peer-review
Research output: Contribution to journal › Journal article › Research › peer-review
Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research › peer-review
Research output: Contribution to conference › Poster › Research › peer-review
Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research › peer-review
Research output: Contribution to journal › Journal article › Research › peer-review
Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research › peer-review
Thomasen, L. S. (Lecturer), Meyer, M. K. K. (Lecturer) & Sørensen, H. K. (Other)
Activity: Presentations, memberships and other activity types › Lecture and oral contribution
Sørensen, H. K. (Other)
Activity: Presentations, memberships and other activity types › Lecture and oral contribution
Sørensen, H. K. (Other)
Activity: Presentations, memberships and other activity types › Lecture and oral contribution
Sørensen, H. K. (Other)
Activity: Presentations, memberships and other activity types › Lecture and oral contribution
Sørensen, H. K. (Other)
Activity: Presentations, memberships and other activity types › Lecture and oral contribution
Sørensen, H. K. (Other)
Activity: Presentations, memberships and other activity types › Lecture and oral contribution
Sørensen, H. K. (Other)
Activity: Presentations, memberships and other activity types › Lecture and oral contribution
Sørensen, H. K. (Other)
Activity: Presentations, memberships and other activity types › Lecture and oral contribution