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.

Members

• Kim Solin, Associate Professor, group leader
• Goran Milutinovic, Associate Professor, senior researcher
• Jonas Boustedt, Associate Professor, 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 External link.
• History of Computer Science (in preparation, bachelor level)
• Computational logic (reading course, bachelor or PhD level)

Selected publications

• Solin, K. (2025). On Irigaray's and Wittgenstein's Critiques of Formal Logic. Feminist Philosophy — Language, Knowledge, and Politics. S. 587-597. [More information] External link.
  
  
• Solin, K. (2023). The Revision of Wittgenstein's Remarks on the Foundations of Mathematics. The Creation of Wittgenstein : Understanding the Roles of Rush Rhees, Elizabeth Anscombe and Georg Henrik von Wright. Bloomsbury Academic. S. 105-136. [More information] External link.
  
  
• Solin, K. (2012). Dual Choice and Iteration in an Abstract Algebra of Action. Studia Logica, 100(3), 607-630 [More information] External link.
  
  
• Solin, K. (2010). A Sketch of a Dynamic Epistemic Semiring. Information and Computation, 208(5), 594-604 [More information] External link.