University of London, Goldsmiths' College
Research areas: Databases, Formal methods, Software testing, Software engineering, Algorithms, Cryptography, AI, Graphics and Natural language processing.