Skip to content Skip to navigation
University of Warwick
  • Study
  • |
  • Research
  • |
  • Business
  • |
  • Alumni
  • |
  • News
  • |
  • About
  • Text only
  • |
  • Sign in
  • Search Computer Science
  • Search University of Warwick
  • Search for people at Warwick
  • Search Warwick Blogs
  • Search past exam papers
  • Search video
  • More…

    Department of Computer Science

    • Research
    • Teaching
    • Admissions
    • People
    • Schools
    • Events
    • News
    • Steve Matthews
    University of Warwick

    Steve Matthews


    CONTACT   


    Computer Science
    Room CS331
    University of Warwick
    Coventry
    CV4 7AL
    Tel: 024 7652 3252
    Fax: 024 7657 3024
    Email: Steve.Matthews@warwick.ac.uk

     


    RESEARCH GROUPS


    • Formal Methods Research Group

    SELECTED PUBLICATIONS


    • Kopperman R, Matthews S, Pajoohesh H(2004) 'Philosophical Issues in Computer Science : Proceedings of the First International Workshop on Philosophy and Informatics (WSPI 2004)' CEUR - Workshop Proceedings 112 (1613-0073)
    • Kopperman R,Matthews R G, Pajoohesh, (2004) 'Partial Metrizability in Value Quantales' Applied General Topology 5 (1), 115 - 127 (1576-9402)
    • Matthews S G(2001) 'Pixel Geometry' Electronic Notes In Theoretical Computer Science 40 (1571 0661)

    Update My Profile on the Warwick eRA Portal My Profile last updated: 13/01/2012

    facebook twitter linkedin
    Intranet

    Department of Computer Science, University of Warwick, Coventry CV4 7AL

    Directions to the University
    Jobs in Computer Science
    Contact details

    Close this email form
    Page contact: Steve Matthews Last revised: Sat 10 Mar 2007
    • Sign in
    • |
    • Powered by Sitebuilder
    • |
    • © MMXII
    • |
    • Privacy
    • |
    • Accessibility