Kim Solin bedriver forskning i formella metoder, särskilt algebraiska metoder, inom datavetenskap samt inom besluts-, risk- och policyanalys. Han forskar också om datavetenskapens filosofi, historia och didaktik. Han har tidigare lett projektet Rush Rhees och Wittgensteins matematikfilosofi Länk till annan webbplats. finansierad av Vetenskapsrådet.
Kim Solin undervisar generellt inom datavetenskap samt inom besluts-, risk- och policyanalys, bland annat i artificiell intelligens och i akademiskt skrivande. Han skriver regelbundet essäer i svensk och internationell press och är ledamot i Statens kulturråds arbetsgrupp för stöd till facklitteratur.