Research

• AI and Creativity in relation to Intellectual Property (White Paper, 2024).
• Impact: The Oxford LawTech Education Programme (OLTEP)
• Robust and Reliable Quantum Computing
• Impact: CREST and Jasper C2RTL (Cadence),
• Soteria: Researching Solutions for a Safer Web
• SCorCH: Secure Code for Capability Hardware
• Online dispute resolution platform for SMEs (Report)
• Oxford Computers and Law Research Group
• Data Science and AI for Public Policy (Summit, Report)
• Three Research Vignettes in Memory of Mike Gordon (FLoC 2018)
• VeTeSS: Verification and Testing to Support Functional Safety Standards (Project, ISO 26262)
• Effective Validation of Firmware (Intel ARO)
• Conceptual foundations of systems biology (Editorial, Epilogue)
• Impact: Chips with Confidence, Mathematical Verification of Chips.
• Automatic Abstraction for Symbolic Simulation (Theory & Mechanism)
• The reFLect programming language
• A specification language for GSTE
• The Forte formal verification system
• Methodology for practical, industrial-scale formal verification
• PROSPER: Proof and Specification Assisted Design Environments
• Dynamic Synthesis of Correct Hardware
• User Interface Design for Theorem Provers
• The HOL Theorem Prover for higher order logic

Graduate Students

• Doctoral study in my Oxford Group.
• Current Doctoral students: Mark Denhoed.
• Here are my past graduate students.

Professional

• Co-director, Oxford LawTech Education Programme.
• Editorial Board, Formal Methods in System Design.
• Editorial Board, Cambridge Forum on AI: Law and Governance.

Teaching

• Law and Computer Science, MT 2023 & HT 2024. See our Video Trailer and Public Website.