Henrik Kragh Sørensen is professor of history and philosophy of the mathematical and computational sciences at the Department of Science Education, University of Copenhagen.

He is the PI and instigator of the project, and his responsibilities in the project include research, programming, and supervision.

Fun fact: Henrik was once heckled in the streets of London by the great Rowan Atkinson.

Mikkel Willum Johansen is an associate professor in philosophy of the mathematical sciences at Department of Science Education.

He is participating in the project as a researcher and supervisor.

Fun Fact: The doctor in the small village where Mikkel grew up gave Mikkel his first Puck Maxi moped when he was 7. Instant love.

Oliver Aagaard Madsen is a BSc student in machine learning and data science at UCPH.

Oliver is writing his BSc thesis on relationships between basic research and applications in computer science, using data from the arXiv, under the supervision of Henrik.

Fun fact: Oliver and his group once chose to buy more RAM to work with their entire database in memory, instead of learning to work with large files in that class.

Anton Kristian Suhr is now working in a consultancy firm. Before that, he was a research assistant at DSE. And before that, he was a master's student at the Department of Mathematical Sciences (UCPH) writing his thesis on explanations in mathematics under the supervision of Henrik.

His object of research was the use of language in mathematical research papers using statistical methods drawing from big data repositories such as arXiv.

Fun fact: Anton once cut the ribbon with the mayor at the opening of the McDonald's in his old hometown, Ringsted, DK.

Mikkel Tvorup Moseholm

received his master's degree in philosophy from the University of Copenhagen and is currently studying mathematics. In 2021 he was a research intern at the history and philosophy of science research group at the University of Copenhagen.

His research interests focus on the philosophy of mathematical practice, philosophical logic, and their relation to digital humanities.

Fun fact: Mikkel was once invited to play a concert with a band and when they arrived at the address, they discovered to their great surprise that the concert was to be played in the middle of a barn with horses in the background.

Laura Søvsø Thomasen holds an PhD in Comparative Literature and History of Science from Aarhus University. She has worked as a researcher and high school teacher and is currently employed at the Specials Collections at the Royal Danish Library.

Her research interests include the relationship between science and the arts and digital humanities.

Fun fact: Laura once came in second in the Jutland championship for 10 meter air riffle, but hasn't taken up shooting since she got married.

Sophie Kjeldbjerg Mathiasen is now a high-school mathematics teacher. Before that, she was a master's student at the Department of Mathematical Sciences (UCPH), having a minor subject in Danish from the Department of Nordic Studies and Linguistics (UCPH) and writing her master's thesis under the supervision of Henrik Kragh Sørensen and Mikkel Willum Johansen.

She studied the role of experiments in mathematical research which she investigated qualitatively from a large corpus of mathematical reviews.

Fun fact: Sophie was once approached by a stranger on the street in India, and that resulted in her dubbing the voice of an actress in a Bollywood movie.

Chris Søndergaard Gassner Nielsen

Cæcilie Bøje Pedersen was an undergraduate student at the Department of Mathematical Sciences at UCPH writing her bachelor thesis on the gender gap in mathematical sciences under the supervision of Henrik.

In the project, she studied gender equality in the academic environment of mathematics using quantitative methods to investigate social and structural factors influence on the gender gap in mathematics.

Fun fact: Cæcilie holds a bachelor's degree in Art History from UCPH and works as guide at the local art museum The Hirschsprung Collection.

Stefan Gottlieb Kramer was an undergraduate student of Machine Learning and Data Science at the Department of Computer Science at UCPH.

He is interested in the ethical and social implications of the increasing implementation of machine learning in daily life, and he wrote his BSc project building a binary classifier for mathematical diagrams.

Fun fact: Stefan can maintain concentration while coding to the tune of microtonal black metal.

Kristoffer Rank Rasmussen was a master's student at the Department of Mathematical Sciences at UCPH.

He is interested in the use of diagrams in topology and category theory and has experience with analyzing knot diagrams from historic and contemporary sources.

Fun fact: Kristoffers first encounter with infinite series was on a ferry between Batumi and Odessa.

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