We encourage friendly collaboration with colleagues, partners from abroad and students.

  • Henrik Kragh Sørensen, PI, professor, DSE
  • Mikkel Willum Johansen, associate professor, DSE
  • Sophie Kjeldbjerg Mathiasen, MSc student, DSE/MATH
  • Anton Kristian Suhr, MSc student, DSE/MATH
  • Josefine Pallavicini, research assistant, DSE
  • Laura Søvsø Thomasen, Royal Danish Library


We collaborate on international, interdisciplinary projects.

  • Hester Breman (Maastricht) and Renee Hoekzema (Oxford) on visual thinking in mathematics


Most of our code is written in python, and we rely on a set of key libraries for LaTeX and XML parsing, NLP, neural networks, statistical analysis, documentation etc.


Upcoming events


Recent publications

Sørensen, Henrik Kragh, and Mikkel Willum Johansen. 2020. “Counting Mathematical Diagrams with Machine Learning.” In Diagrammatic Representation and Inference: 11th International Conference, Diagrams 2020, Tallinn, Estonia, August 24–28, 2020, edited by Ahti-Veikko Pietarinen, Peter Chapman, Leonie Bosveld-de Smet, Valeria Giardino, James Corter, and Sven Linker, 26–33. Lecture Notes in Computer Science (LNAI) 12169. Springer.

If you are interested in our work, please do not hesistate to contact us.