Research Students

Mr Chris Marriott
Associate Staff

Interests

  • Formal methods
  • Verification of memory-safety of Safety Critical Java (SCJ)
  • Circus
  • Z
  • Real-time / safety-critical systems
  • Automatic generation of Circus specifications from Simulink diagrams

Qualifications

MEng (hons) in Computer Systems and Software Engineering, The University of York, 2010

Career

Final year PhD student in the High Integrity Systems Engineering research group, interested specifically in the verification of memory-safety properties of Safety-Critical Java (SCJ) programs.

Photo

Contact details

Department of Computer Science
University of York
Deramore Lane
York
YO10 5GH

E-mail:
Personal Homepage: http://www-users.cs.york.ac.uk/~marriott/