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 organizes a regular seminar series with meetings in Gävle and on-line (programme).

Main research directions

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

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

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)