Dr Uraz Turker
Lecturer in Computer ScienceResearch Overview
Professor Turker’s research largely concerns model based testing. The importance of this research is that it allows the development of automated techniques (and tools) that generate efficient, systematic test suites quickly on the basis of formal models that encapsulates the behaviour of the underlying software.
Prof. Turker has recently become interested in testing of cyberphysical and autonomous systems equipped with self-learning control algorithms.
KTP with Forsberg
01/10/2024 → 30/09/2027
Research
KTP with Forsberg Services Ltd
01/10/2024 → 30/09/2027
Research
DSI: Accelerating Software Testing Using Quantum Computing
01/09/2024 → 31/08/2026
Research
DSI: UKRI Trustworthy Autonomous Systems Node in Verifiability
04/04/2022 → 31/10/2024
Research
- Lancaster Intelligent, Robotic and Autonomous Systems Centre
- LIRA - Fundamentals
- LIRA - Security and Defence
- Security Lancaster
- Security Lancaster (Distributed Systems)
- Security Lancaster (Secure Machine Learning and Intelligence)
- Security Lancaster (Software Security)
- Security Lancaster (Systems Security)