Skip to main content

Daniel James

Personal photo - Daniel James

Daniel James

Doctoral Student

Student, Keble College


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

Daniel has previously been a departmental demonstrator for the Functional Programming course and is currently a teaching assistant for the Software Engineering Programme, assisting on the Object Orientation, Object-Oriented Programming and Design Patterns courses.

Selected Publications

View AllManage publications