Dr. Richard Banach
Senior Lecturer in the School of Computer Science at the University of Manchester.
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
Application of formal methods to problems involving continuous mathematics.
Formal methods in general, and their relationship to wider systems
Other research interests include:
Relational aspects of specification theory and programming methodology.
Graph rewriting models of computation.
Mini CV and a bit more on research interests.
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.
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.
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