Prof. John Derrick — Research Profile
The University of Sheffield · School of Computer Science
Graduate application deadlines
School of Computer Science
PhD in Computer Science
October 2027EPSRC Doctoral Landscape Award (DLA)
Jan 13, 2027 17:00 GMT
Visa applicants
Aug 26, 2027
Application deadline
Applications close
Sep 3, 2027 17:00 GMT+1
Considering this lab for grad school?
Save it to compare side by side with other labs, and keep your contact prep in one place.
What to prepare before emailing a PIAbout
Prof. John Derrick at The University of Sheffield School of Computer Science lists Formal methods, Refinement, Distributed systems, Testing, Verification of concurrent systems as their registered research area.
Research keywords
Other labs in this department
- Aline Villavicencio Lab
Natural Language Processing, Cognitively motivated NLP, Multilinguality, Multimodality, NLP for Healthcare, NLP for Arts and Humanities, Text Simplification and Question Answering
- Andrei Popescu Lab
Proof assistants, Information flow security, Inductive and coinductive datatypes, Automated deduction and Syntax with bindings
- Anton Ragni Lab
Core automatic speech recognition, Efficient and expressive speech synthesis, Spoken Language Translation, Information Retrieval, Conversation Modelling
- Aryan Pasikhani Lab
Security of AI, Offensive AI and AI Red Teaming, Security, Privacy, Transparency of AI/ML Systems, Reinforcement Learning and Adversarial Machine Learning
- Behzad Abdolmaleki Lab
Post-quantum and quantum cryptography, zero-knowledge proofs and zk-SNARKs, security, Privacy, Transparency of AI/ML Systems, applied cryptography
- Bei Peng Lab
Reinforcement learning, Multi-agent systems, Human-in-the-loop machine learning