Professor Tom Melham - University of Oxford

Tom Melham
MA, BSc, PhD Cambridge, FRSE

Professor of Computer Science, University of Oxford
Fellow and Tutor in Computation, Praefectus, Balliol College

Department of Computer Science
University of Oxford
Wolfson Building, Parks Road
Oxford, OX1 3QD, England

Email: Tom.Melham at cs.ox.ac.uk
Telephone: +44 (0)1865 273824
Fax: +44 (0)1865 273839

Short Bio

Publications

BiBTeX

Balliol College

Balliol MCR

Research Group

Computer Science Department

MPLS Division

Oxford University

Research

Applications of formal logic; mechanised reasoning; model checking and theorem proving; formal verification; digital circuit design; reconfigurable hardware; programming language semantics. Many of my publications are available online.

Chips with Confidence
The reFLect programming language
A Specification Language for GSTE
SymNet: Symmetry and Search Network
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

Sara Adams, Peter Boehm, Alex Horn.
Note for prospective doctoral students.
Former graduate students.

Professional

Programme Committees: FMCAD 2011, HVC 2011.
Editorial Board: Formal Methods in System Design.
Professional involvement in past conferences.

Teaching

Computer-Aided Formal Verification, MT (Autumn) 2011.

Last updated in June 2011.