The latest issue of the e-journal, Electronic Notes in Theoretical Computer Science, has a nice summary article by Michael Huth on his work using topology for computer program semantics (vol. 161, pp. 3–23, 2006).