Dr. Richard Banach

Senior Lecturer in the School of Computer Science at the University of Manchester.

Research areas:

My main research interests at present are:

  • Hybrid and cyberphysical systems.
  • Hybrid Event-B: its definitiion, theory and implementation.
  • Retrenchment, a means of formalising more of informal design. See the Retrenchment Homepage.
  • Application of formal methods to problems involving continuous mathematics.
  • Formal methods in general, and their relationship to wider systems engineering issues.

    Other research interests include:

  • Regular relations.
  • Relational aspects of specification theory and programming methodology.
  • Concurrency theory.
  • Graph rewriting models of computation.

    Recent Publications

    Mini CV and a bit more on research interests.

    Teaching, Live:

  • COMP31111: Verified Development. The COMP31111 syllabus is here, and COMP31111.Info Course Information is here.
  • COMP61411: Cryptography. The COMP61411 syllabus is here, and COMP61411.Info Course Information is here.

    Teaching, in a Linear Superposition of Live and Dead:

  • COMP39112: Quantum Computing. The COMP39112 syllabus is here, and COMP39112.Info Course Information is here.

    Teaching, Dead:

  • COMP60110: System Construction Using B. The COMP60110 syllabus woz 'ere, and COMP60110.Info Course Information is here.
  • COMP70190: Computer Architecture and Systems. The COMP70190 official info page is here, and COMP70190.Info Course Information is here.

    Finding me:

  • Room number: 2.99
  • e-mail: banach "at" cs "dot" man "dot" ac "dot" uk
  • Telephone: +44 161 275 5720
    Here's my .plan
    One FM Research Group Home Page
    Another FM Research Group Home Page