Avi Shaked
Scholar

Avi Shaked

Google Scholar ID: OFBwHigAAAAJ
University of Oxford
Systems thinkingConceptual modellingCyber securityAutomated reasoningDecision making
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
217
 
H-index
11
 
i10-index
11
 
Publications
20
 
Co-authors
0
 
Publications
3 items
Reproducing a Security Risk Assessment Using Computer Aided Design
2025
Cited
0
Automated Reasoning for Vulnerability Management by Design
2025
Cited
0
Consistent and Compatible Modelling of Cyber Intrusions and Incident Response Demonstrated in the Context of Malware Attacks on Critical Infrastructure
2025
Cited
0
Resume
Research Experience
  • Served as a Senior Research Associate at the Department of Computer Science, University of Oxford, with a leaving date of 28th February 2025.
Background
  • Senior Research Associate. Research interests include Automated Verification, Systems, Security, and Data, Knowledge and Action.