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.
  • 2Followers

Research interests

Computer Aided VerificationFormal VerificationComputer Security

Followers (2)

  • John Galea

    John GaleaUniversity of Oxford

  • Matt Smith

    Matt Smith

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)