معرفی
Avi Shaked is a Senior Research Associate at the University of Oxford's Department of Computer Science, focusing on systems security and automated verification. His work bridges formal methods, cybersecurity, and model-based engineering to address challenges in critical infrastructure protection, incident response, and security ontology development. He contributes to tools like PROVE and frameworks such as BridgeSec, emphasizing interdisciplinary collaboration between security and systems engineering.
Research interests revolve around formal verification for security, model-driven security design, and automated risk identification. His recent work includes developing methodologies for vulnerability management and integrating security knowledge bases into modeling environments.
His publications highlight trends in cybersecurity resilience, leveraging formal ontologies (e.g., OnToRisk) and model-based approaches for threat assessment. Though no specific grants or awards are listed, his contributions to tools like PROVE and frameworks like BridgeSec reflect impactful academic-industrial collaboration. No students or advising roles are explicitly mentioned in the provided texts.
