Dr Kim Solin

Honorary Research Fellow

School of Historical and Philosophical Inquiry
Faculty of Humanities and Social Sciences

Overview

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.

Qualifications

  • Doctor of Philosophy, Uppsala University
  • Doctor of Philosophy, Abo Akademi University

Publications

  • Solin, Kim (2015). Encoding and decoding in refinement algebra. In: Relational and Algebraic Methods in Computer Science: 15th International Conference, RAMiCS 2015, Braga, Portugal, September 28 - October 1, 2015, Proceedings. 15th International Conference on Relational and Algebraic Methods in Computer Science, Braga, Portugal, (209-224). 28 September-1 October 2015. doi:10.1007/978-3-319-24704-5_13

  • Solin, K. (2013). Modal semirings with operators for knowledge representation. In: Proceedings of the 5th International Conference on Agents and Artificial Intelligence. 5th International Conference on Agents and Artificial Intelligence, ICAART 2013, Barcelona, Spain, (197-202). 15 - 18 February 2013.

  • 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

View all Publications

Publications

Journal Article

Conference Publication

  • Solin, Kim (2015). Encoding and decoding in refinement algebra. In: Relational and Algebraic Methods in Computer Science: 15th International Conference, RAMiCS 2015, Braga, Portugal, September 28 - October 1, 2015, Proceedings. 15th International Conference on Relational and Algebraic Methods in Computer Science, Braga, Portugal, (209-224). 28 September-1 October 2015. doi:10.1007/978-3-319-24704-5_13

  • Solin, K. (2013). Modal semirings with operators for knowledge representation. In: Proceedings of the 5th International Conference on Agents and Artificial Intelligence. 5th International Conference on Agents and Artificial Intelligence, ICAART 2013, Barcelona, Spain, (197-202). 15 - 18 February 2013.

  • Dongol, Brijesh, Hayes, Ian J., Meinicke, Larissa and Solin, Kim (2012). Towards an algebra for real-time programs. In: Wolfram Kahl and Timothy G. Griffin, Proceedings: 13th International Conference, RAMiCS 2012. 13th International Conference on Relational and Algebraic Methods in Computer Science (RAMiCS 2012), Cambridge, United Kingdom, (50-65). 17 - 20 September 2012. doi:10.1007/978-3-642-33314-9_4

  • Solin, Kim (2009). A while program normal form theorem in total correctness. In: Rudolf Berghammer, Ali Mohamed Jaoua and Bernhard Möller, Relations and Kleene Algebra in Computer Science: 11th International Conference on Relational Methods in Computer Science, RelMiCS 2009 and 6th International Conference on Applications of Kleene Algebra. Proceedings. RelMiCS 11: 11th International Conference on Relational Methods in Computer Science and AKA6: 6th International Conference on Applications of Kleene Algebra, Doha, Qatar, (322-336). 1-5 November, 2009. doi:10.1007/978-3-642-04639-1_22

  • Meinicke, L. A. and Solin, K. (2008). Reactive probabilistic programs and refinement algebra. In: Relations and Kleene algebra in computer science : 10th International Conference on Relational Methods in Computer Science and 5th International Conference on Applications of Kleene Algebra, RelMiCS/AKA 2008: Proceedings. 10th International Conference on Relational Methods in Computer Science/5th International Workshop on Applications of Kleene Algebra, Frauenworth Germany, (304-319). 7 - 11 April 2008. doi:10.1007/978-3-540-78913-0_23