School of Historical and Philosophical Inquiry

Dr Kim Solin

Honorary Research Fellow in Philosophy
View researcher profile

Researcher biography

I am an Honorary Research Fellow in the School of Historical and Philosophical Inquiry at The University of Queensland, Australia, and a Postdoctoral Research Fellow in the Department of Philosophy at Uppsala University, Sweden. I am currently working on my international postdoc project "Rush Rhees and Wittgenstein's Philosophy of Mathematics" as a Visiting Academic at The von Wright and Wittgenstein Archives at The University of Helsinki, Finland. My funding comes from the Swedish Research Council (Vetenskapsrådet).

I work mainly in the philosophy of science and mathematics, and in applied logic. I have published on abstract-algebraic methods in leading journals such as Studia Logica and Information & Computation. With Kim-Erik Berts I wrote an introductory book to the philosophy of mathematics from the perspective of Ludwig Wittgenstein's philosophy. Another interest is the philosophy of Paul Feyerabend. I also have a recent interest in continental philosophy, and I have written and spoken on the thought of Simone Weil, Witold Gombrowicz and Hannah Arendt.

Previously, I was Senior Lecturer in Computer Science at Gotland University College (today Uppsala University's Campus Gotland), where I helped set up a unique Great Books course for a new Liberal Arts degree. I was also a Research Fellow in Theoretical Computer Science at The University of Queensland at several occasions. I have been a Visiting Academic at Universität Augsburg, Universität Göttingen, and at Macquarie University in Sydney. I have a PhD in Philosophy from Uppsala University, Sweden, and a PhD in Theoretical Computer Science from Åbo Akademi, Finland.

Publications

Journal Articles (5)
Conference Papers (5)
Department Technical Report (1)

Journal Articles

Solin, Kim (2012). Dual choice and iteration in an abstract algebra of action. Studia Logica, 100 (3), 607-630. doi: 10.1007/s11225-012-9416-9
Solin, Kim (2011). Normal forms in total correctness for while programs and action systems. Journal of Logic and Algebraic Programming, 80 (6), 362-375. doi: 10.1016/j.jlap.2011.04.008
Solin, Kim (2010). A sketch of a dynamic epistemic semiring. Information and Computation, 208 (5), 594-604. doi: 10.1016/j.ic.2009.03.011
Meinicke, Larissa and Solin, Kim (2010). Refinement algebra for probabilistic programs. Formal Aspects of Computing, 22 (1), 3-31. doi: 10.1007/s00165-009-0111-1
Solin, Kim and von Wright, Joakim (2009). Enabledness and termination in refinement algebra. Science of Computer Programming, 74 (8), 654-668. doi: 10.1016/j.scico.2007.11.004

Conference Papers

Solin, Kim (2015). Encoding and decoding in refinement algebra. 15th International Conference on Relational and Algebraic Methods in Computer Science, Braga, Portugal, 28 September-1 October 2015. Heidelberg, Germany: Springer. doi: 10.1007/978-3-319-24704-5_13
Solin, K. (2013). Modal semirings with operators for knowledge representation. 5th International Conference on Agents and Artificial Intelligence, ICAART 2013, Barcelona, Spain, 15 - 18 February 2013. Montreal, Quebec, Canada: Scitepress.
Dongol, Brijesh, Hayes, Ian J., Meinicke, Larissa and Solin, Kim (2012). Towards an algebra for real-time programs. 13th International Conference on Relational and Algebraic Methods in Computer Science (RAMiCS 2012), Cambridge, United Kingdom, 17 - 20 September 2012. Heidelberg, Germany: Springer. doi: 10.1007/978-3-642-33314-9_4
Solin, Kim (2009). A while program normal form theorem in total correctness. RelMiCS 11: 11th International Conference on Relational Methods in Computer Science and AKA6: 6th International Conference on Applications of Kleene Algebra, Doha, Qatar, 1-5 November, 2009. Heidelberg, Germany: Springer. doi: 10.1007/978-3-642-04639-1_22
Meinicke, L. A. and Solin, K. (2008). Reactive probabilistic programs and refinement algebra. 10th International Conference on Relational Methods in Computer Science/5th International Workshop on Applications of Kleene Algebra, Frauenworth Germany, 7 - 11 April 2008. Heidelberg, Germany: Springer. doi: 10.1007/978-3-540-78913-0_23

Department Technical Report

Meinicke, Larissa and Solin, Kim (2006). Probabilistic Demonic Refinement Algebra. Technical Report SSE-2006-04. Division of Systems and Software Engineering Research, School of Information Technology and Electrical Engineering, The University of Queensland.