Centre for Applied Formal Methods
Research centre carrying out work with a balance of (formal methods) theory and (applied) practice in the general area of computer science.
London South Bank University
Information about the faculties, courses, and research. Includes a visitors' guide.
School of Computing, Information Systems and Mathe
General contact and location information. Details of courses offered at undergraduate, postgraduate and MSc level, information about research opportunities and staff directory.