This sounds awesome! I've just started learning about Clojure and Clojurescript and have encountered a lot of David Nolen's work. It'll be amazing to be able to hack with and learn from him for those 3 months.
He's a great and very smart guy - definitely take advantage of his time while you have it. His work on the core.logic and ClojureScript has been a serious boon to the community.