Honorary Research Fellow
Overview
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.
Qualifications
- Doctor of Philosophy, Uppsala University
- Doctor of Philosophy, Abo Akademi University
Publications
-
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
-
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.
-
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
Publications
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
-
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
-
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
-
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
-
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
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
-
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.
-
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
-
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
-
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
