University of Oxford Logo University of OxfordDepartment of Computer Science - Home

Tom Melham

Personal photo - Tom Melham
Professor Tom Melham FRSE
Professor of Computer Science
Tutorial Fellow, Balliol College
+44 (0)1865 273824
+44 (0)1865 273839 (fax)

Wolfson Building, Parks Road, Oxford OX1 3QD

Links

Personal Web Pages

List of all Publications

Recent News

Studentships

Fully Funded DPhil Studentship

The Verification Research Group is offering a fully funded D.Phil studentship in Oxford University's Department of Computer Science

More Details...

Selected Publications

View all

Manage publications

A Symbolic Execution Framework for Algorithm−Level Modelling

Ziyad Hanna and Tom Melham

In Priyank Kalla and Prabhat Mishra, editors, High Level Design Validation and Test Workshop‚ 2009. HLDVT 2009.. Pages 94–99. IEEE. 2009.

Assume−Guarantee Validation for STE Properties within an SVA Environment

Zurab Khasidashvili‚ Gavriel Gavrielov and Tom Melham

In Armin Biere and Carl Pixley, editors, Proceedings of 9th International Conference: 2009 Formal Methods in Computer−Aided Design: FMCAD 2009. Pages 108–115. IEEE. 2009.

Design and Verification of On−Chip Communication Protocols

Peter Böhm and Tom Melham

No. RR−08−05. Oxford University Computing Laboratory. April, 2008.

Info

Themes

Activities

Projects

Completed Projects

Students