معرفی
Dr Jeremy Lawrence Jacob is a Senior Lecturer in the Department of Computer Science at the University of York, where he has been faculty since 1993. His research focuses on the application of mathematical principles to programming language design and software engineering, with particular emphasis on formal methods and automated verification.
His educational background includes a BSc in Mathematics from the University of Hull, followed by an MSc in Computation and DPhil from the University of Oxford. With over 10 years of postgraduate research experience prior to joining York, he brings substantial academic depth to his teaching and research.
Dr Jacob's research interests center on bridging theoretical mathematics with practical software engineering challenges. His work explores how formal mathematical frameworks can enhance programming language design, improve software reliability, and enable rigorous verification techniques. This interdisciplinary approach connects abstract mathematical concepts with real-world computing problems.
His recent publications demonstrate consistent contributions to formal methods (2021), cybersecurity (2015), and virtualization architecture (2014), showing an evolving trajectory from foundational programming theory toward security-critical systems. The research exhibits strong methodological continuity through mathematical rigor while adapting to contemporary computing challenges.
As a member of the Automated Software Engineering research group, he contributes to York's collaborative research environment. His supervisory record includes documented graduate student mentorship through two supervised research projects, though specific student names and details are not publicly listed in available sources.
Based in office CSE/043 at Deramore Lane, York, he maintains active research engagement as evidenced by recent publications and his ORCID profile (0000-0003-4806-7426), which catalogs 59 total research outputs including articles, conference papers, and other scholarly contributions.
