معرفی
John Derrick is a Professor of Computer Science and Acting Vice-President and Head of the Faculty of Science at the University of Sheffield. He holds a DPhil in Mathematics from Oxford University and has held academic roles at the University of Kent (1990–2005) before joining Sheffield. His primary affiliations include the School of Computer Science and the Foundations of Computation and Testing research groups. Derrick’s research focuses on formal methods, specification, and verification of distributed systems, concurrency, and Erlang-based systems.
Education:
- Bachelor’s in Mathematics, University of Nottingham
- DPhil in Mathematics, University of Oxford
Research interests emphasize formal methods for concurrency, refinement techniques in state-based systems, model checking, and verification of concurrent algorithms. Notable projects include FORSE (Erlang tool support), ProTest (property-based testing), and contributions to weak memory model analysis. He has led EPSRC-funded grants and holds editorial roles in journals like Formal Aspects of Computing and Science of Computer Programming.
Grants include leadership in projects such as COVERT (safe concurrent programming), Verifiably Correct Transactional Memory, and Model-Driven Architecture. Professional activities include chairing IFIP Working Group 6.1 and steering committees for conferences like FMOODS and FORTE.
Labs/Teams: Member of the Verification and Testing research groups at the University of Sheffield.
