Dr Jeremy L Jacob
Senior Lecturer

Interests

Formal methods applied to safety-critical and secure systems. Heuristics for formally developing systems.

Qualifications

BSc Mathematics (Hull)
MSc Computation (Oxon)
DPhil (Oxon)

Career

10 years postgraduate/RA experience
Lecturer since 1992, and since 1993 at York.

https://pure.york.ac.uk/portal/en/researchers/jeremy-lawrence-jacob(1d126e69-185c-43d4-8242-46458f805cf6).html

Departmental and University Roles

  • Disability advisor
  • Chair of Board of Studies
  • VLE contact
  • Member of Athena Swan Committee

Photo

Contact details

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

Phone: +44 (0)1904 325667

Fax: +44 (0)1904 325599

Office: CSE/235

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

Research Group: