Oxford University Computing Laboratory
Wolfson Building, Parks Road
Oxford, OX1 3QD, England

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

Research

• The Centre for Metacomputation
• 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, Ziyad Hanna.
• Former graduate students
• Note for prospective doctoral students

Professional

• Programme Committees: HFL 2008, ARW 2008, FMCAD 2008.
• Editorial Board: Microelectronics Journal. Submissions on formal verification are solicited; the journal reaches a wide audience of engineers and academics in microelectronics.
• Professional involvement in past conferences.

Teaching

• Computer-Aided Formal Verification, MT (Autumn) 2008.