Jeremy L Jacob

Dr. Jeremy L Jacob is a Senior Lecturer in the Department of Computer Science at the University of York. He holds a BSc in Mathematics from the University of Hull, an MSc in Computation from the University of Oxford (Oxon), and a DPhil (PhD) from Oxon. With over 10 years of postgraduate research experience, he has been a Lecturer since 1992 and joined the University of York in 1993. His research focuses on applying mathematical principles to programming language design, software engineering, and security protocols.

His work spans formal methods, threat modeling in cloud and IoT systems, and security protocol analysis. He is affiliated with the Automated Software Engineering research group led by Professor Dimitris Kolovos. Contact details include office CSE/043 and phone +44 (0)1904 325667, though direct email access requires using the department's web form to protect against spam.

Key contributions include pioneering work on translating CSP into timed automata, adapting threat modeling frameworks for modern systems, and exploring confidentiality properties in formal specifications (e.g., Circus and Z formalisms). His research bridges theoretical foundations with practical applications in cybersecurity and software engineering.