Search ID

www.dcs.qmul.ac.uk

Department of Computer Science. Research groups: Information, media and communication; Logic and foundations of programming; Parallel computing; Vision; Risk assessment and decision analysis; Knowledge representation and reasoning; Distributed systems. Host for Hypatia, a directory of research workers in Computer Science and Pure Mathematics and a library of their papers.

URLs from www.dcs.qmul.ac.uk:

URL: http://www.dcs.qmul.ac.uk/~pt/stable/Proofs+Types.html URL: http://www.dcs.qmul.ac.uk/research/logic URL: http://www.dcs.qmul.ac.uk