Gävle History and Philosophy of Computing Research Group

The research group was founded in 2026 at the Computer Science Division at the University of Gävle and forms a platform for research and discussion on the history and philosophy of computing. The group also organizes a regular seminar series.

Main research directions

• Philosophy of computing and mathematics
• History of computing
• Logic and algebra in computer science

Series of seminars

The seminar series includes sessions both in Gävle and online.

See the current programme. External link.

Members

• Kim Solin, Associate Professor, group leader
• Goran Milutinovic, PhD, senior researcher
• Jonas Boustedt, PhD, senior researcher
• Xin He, PhD candidate (geospatial information science)

Current research

• Wittgenstein’s philosophy of mathematics (Solin)
• History and philosophy of the theories of computation (Solin)
• History of formal methods (Solin)
• Applications of semiring structures (He and Solin)
• Mechanized Reasoning (He and Solin)

Affiliated members

• Daniel Rönnow, Professor, University of Gävle
• Pablo Lillo Cea External link., PhD, Uppsala University and Swedish School of Library and Information Science, University of Borås
• Cliff Jones, Professor, Newcastle University
• Larissa Meinicke, PhD, Senior Lecturer, The University of Queensland

BSc and MSc students

• Izzy Cahling, Uppsala University

Contact Assoc. Prof. Kim Solin if you are interested in writing a thesis within the group's research areas.

Courses offered by members of the group

• Philosophy of Computer Science (in preparation, bachelor level)
• History of Computer Science (in preparation, bachelor level)
• Computational logic (reading course, bachelor or PhD level)