Scholar
Tom Melham
Google Scholar ID: AdBqkbIAAAAJ
Professor of Computer Science, University of Oxford
Citations & Impact
Citations
882
H-index
15
i10-index
22
Publications
20
Co-authors
21
list available
Contact
Publications
Resume (English only)
Academic Achievements
- Authored 'AI and Creativity in relation to Intellectual Property' (White Paper, 2024)
- Published 'Three Research Vignettes in Memory of Mike Gordon' (FLoC 2018)
- Co-authored report on 'Online dispute resolution platform for SMEs'
- Contributed to summit and report on 'Data Science and AI for Public Policy'
- Drove high-impact initiatives such as 'Chips with Confidence' and 'Mathematical Verification of Chips'
- Serves on the Editorial Board of 'Formal Methods in System Design'
- Serves on the Editorial Board of 'Cambridge Forum on AI: Law and Governance'
- Supervises doctoral students, including current student Mark Denhoed
Research Experience
- Leads a research group at the University of Oxford
- Member of the Oxford Computers and Law Research Group
- Involved in 'Data Science and AI for Public Policy' initiatives
- Research on 'Robust and Reliable Quantum Computing'
- Contributed to 'Soteria: Researching Solutions for a Safer Web'
- Worked on 'SCorCH: Secure Code for Capability Hardware'
- Participated in 'VeTeSS: Verification and Testing to Support Functional Safety Standards' (aligned with ISO 26262)
- Led 'Effective Validation of Firmware' project (funded by Intel ARO)
- Engaged in research on 'Conceptual foundations of systems biology'
- Developed formal verification tools and methodologies including the Forte system, reFLect programming language, GSTE specification language, and the HOL theorem prover for higher-order logic
- Pioneered methodology for practical, industrial-scale formal verification
- Contributed to the PROSPER (Proof and Specification Assisted Design Environments) project
Background
- Professor of Computer Science, University of Oxford
- Fellow and Tutor in Computation, Balliol College
- Research interests: AI and technology in legal services and the justice system; testing and evaluation of AI-based systems; applications of formal logic; mechanised reasoning; model checking and theorem proving; firmware and software verification; systems on chip; formal hardware verification; digital circuit design; programming language semantics
- Co-director of the Oxford LawTech Education Programme (OLTEP)
- Affiliated with the Department of Computer Science, MPLS Division, and Balliol College, University of Oxford
