Daniel is currently reading for a D.Phil under the supervison of Ralf Hinze, on the subject of proofs for programs. Daniel received his M.Sc. in Computer Science from Oxford in 2008. He was previously at Warwick University as an undergraduate, where he received his B.Sc. in Computer Science in 2007.
