Professor John Derrick

About

John graduated with a degree in Mathematics from the University of Nottingham, before taking his DPhil in Oxford. From 1990 to 2005 he worked at the University of Kent at Canterbury, moving to Sheffield in 2005.He was Head of Department between 2009 and 2015. In 2015 he was appointed to the post of Deputy PVC for Research and Innovation. Since 2017 he has been Vice President and Head of the Faculty of Science.

Selected publications

• Derrick J & Boiten E (2018) Refinement. Springer International Publishing.
• Derrick J, Vain J & IFIP WG (2007) Formal techniques for networked and distributed systems-- FORTE 2007. Springer-Verlag New York Inc.
• Boiten E, Derrick J & Smith G (2004) Integrated formal methods. Springer.
• Derrick J & Boiten E (2001) Refinement in Z and Object-Z. Springer London.
• Derrick J & Boiten E (2001) Refinement in Z and Object-Z. Springer Verlag.
• Ben-Dov Y & Hodgson CJ (1997) Preface. Elsevier.
• Bowman H & Derrick J (Ed.) (2001) Formal Methods for Distributed Processing: A Survey of Object-Oriented Approaches. Cambridge Univ Press.
• Derrick J, Dongol B, Edmonds C, Griffin M, Popescu A & Wright J (2025) Relative Security: (Dis)Proving Resilience Against Semantic Optimization Vulnerabilities in Isabelle/HOL. Journal of Automated Reasoning, 69(4).
• Abid SB, Kosiol J, Mittal R, Ober I, Posse E, Al Lail M, Balaban M, Bandyoapdhyay S, Bezerra J, Boulanger F , Bouquet F et al (2024) Preface to the 21th edition of the Workshop on Model Driven Engineering, Verification and Validation (MoDeVVa 2024). Proceedings Models 2024 ACM IEEE 27th International Conference on Model Driven Engineering Languages and Systems Companion Proceedings, lxviii-lxix.
• Derrick J, Doherty S, Dongol B, Schellhorn G & Wehrheim H (2021) Verifying correctness of persistent concurrent data structures: a sound and complete method. Formal Aspects of Computing, 33(4-5), 547-573.