English | Svenska

Kim Solin (bild) är en finlandssvensk datavetare och filosof. Han växte upp i Jakobstad, och studerade datavetenskap, matematik och filosofi i Åbo, Augsburg och Uppsala. År 2007 blev Solin doktor i datavetenskap vid Åbo Akademi, och var därefter i fyra år verksam vid Filosofiska institutionen vid Uppsala Universitet. Från mars 2012 är han forskare i datavetenskap vid University of Queensland i Australien. Hans huvudsakliga forskningsintressen är matematisk datavetenskap och matematikens filosofi.

                                                                                                                 

Arbeten (urval)

    Böcker

  • Kim-Erik Berts och Kim Solin (2010) Matematiken och Wittgenstein. En introduktion i matematikens filosofi. (Stockholm: Bokförlaget Thales.)

    - Streckare i SvD som anknyter till boken: här.

    - Recension i Ikaros: här.

    •  

    Artiklar i tidskrifter

  • Kim Solin (2012) ‘Dual Choice and Iteration in an Abstract Algebra of Action’, Studia Logica, under utgivning.

  • Kim Solin (2011) ‘Normal Forms in Total Correctness for While Programs and Action Systems’, Journal of Logic and Algebraic Programming 80(6): 362-375.

  • Kim Solin (2010) ‘A Sketch of a Dynamic Epistemic Semiring’, Information and Computation 208(5): 594-604.

  • Larissa Meinicke och Kim Solin (2010) ‘Refinement Algebra for Probabilistic Programs’, Formal Aspects of Computing 22(1): 3-31.

  • Kim Solin och Joakim von Wright (2009) ‘Enabledness and Termination in Refinement Algebra’, Science of Computer Programming 74(8): 654-668.

                                                                                                                  
Uppdaterad: Mars 2012

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

eXTReMe Tracker