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:

  • 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:

  • COMP30222: Quantum Computing. The COMP30222 syllabus is here, and COMP30222 Course Information is here.
  • COMP61411: Cryptography. The COMP61411 syllabus is here, and COMP61411 Course Information is here.

    Previous Teaching:

  • COMP60110: System Construction Using B. The COMP60110 syllabus is here, and COMP60110 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
    FM Home Page