Skip to content

Daniel Neville

  • PhD Student
  • Department of Computer Science, University of Oxford
  • 1PublicationsNumber of items in Daniel's My Publications folder on Mendeley.
  • 3Followers

Research interests

Computer Aided VerificationFormal VerificationComputer Security

Followers (3)

Following (1)

Publications (1)

  • Enhancing Safety-Critical Message Dissemination in WAVE

    • Neville D
    • Brill J
    • Juzl J
    N/AReaders
    N/ACitations

Education

Current PhD Student

Department of Computer Science, University of Oxford

October 2014 - Present

MEng

Department of Computer Science, University of Warwick

October 2010 - June 2014(4 years)