Ryan Budney (University of Victoria, Canada / MPI Bonn, Niemcy), Topology and algorithms: some new prospects