Overview
Background
I am an Honorary Research Fellow in Philosophy at the School of Historical and Philosophical Inquiry. I work as a Senior Faculty Admistrator at the University Adminstration of Uppsala University, Sweden. I also hold the title of Docent (Adjunct Professor) in Philosophy at the University of Helsinki, Finland.
I work mainly in existential philosophy, broadly construed, with a particular interest in Ludwig Wittgenstein and in his student Rush Rhees.
Availability
- Dr Kim Solin is:
- Available for supervision
Qualifications
- Doctor of Philosophy, Abo Akademi University
- Doctor of Philosophy, Uppsala University
Works
Search Professor Kim Solin’s works on UQ eSpace
2023
Book Chapter
The Revision of Wittgenstein’s Remarks on the Foundations of Mathematics
Solin, Kim (2023). The Revision of Wittgenstein’s Remarks on the Foundations of Mathematics. The Creation of Wittgenstein. (pp. 105-136) London, United Kingdom: Bloomsbury Academic. doi: 10.5040/9781350121126.ch-006
2021
Journal Article
Book Review: Juliet Floyd and Felix Mühlhölzer, Wittgenstein’s Annotations to Hardy’s Course of Pure Mathematics: An Investigation of Wittgenstein’s Non-Extensionalist Understanding of the Real Numbers
Solin, Kim (2021). Book Review: Juliet Floyd and Felix Mühlhölzer, Wittgenstein’s Annotations to Hardy’s Course of Pure Mathematics: An Investigation of Wittgenstein’s Non-Extensionalist Understanding of the Real Numbers. Nordic Wittgenstein Review, 157-162. doi: 10.15845/nwr.v0i0.3613
2015
Conference Publication
Encoding and decoding in refinement algebra
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
2013
Conference Publication
Modal semirings with operators for knowledge representation
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.
2012
Journal Article
Dual choice and iteration in an abstract algebra of action
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
2012
Conference Publication
Towards an algebra for real-time programs
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
2011
Journal Article
Normal forms in total correctness for while programs and action systems
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
2010
Journal Article
A sketch of a dynamic epistemic semiring
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
2010
Journal Article
Refinement algebra for probabilistic programs
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
2009
Journal Article
Enabledness and termination in refinement algebra
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
2009
Conference Publication
A while program normal form theorem in total correctness
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
2008
Conference Publication
Reactive probabilistic programs and refinement algebra
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
Supervision
Availability
- Dr Kim Solin is:
- Available for supervision
Before you email them, read our advice on how to contact a supervisor.
Media
Enquiries
For media enquiries about Dr Kim Solin's areas of expertise, story ideas and help finding experts, contact our Media team: