Annex C

The Computing and Information Systems Group

The Computer Science group is a rapidly growing part of the Department and covers a variety of research areas and backgrounds which embrace databases, formal methods, software testing, software engineering, algorithms, cryptography, artificial intelligence, graphics and natural language processing. Research links are actively encouraged with other parts of the Department including the Combinatorics and Statistics groups.

Staff also have research links with other academic institutions including the Open University, and Bournemouth, Brighton, Bristol, Durham, Glasgow, Essex, Glamorgan, Heriot Watt, Liverpool, Manchester, Sannia (Italy) South-Western Louisiana (USA), Strathclyde, York and Zaragosa (Spain) Universities, Cranfield RMCS, the Center for Advanced Computer Studies and Loyola College Maryland (USA). Practical focus is provided through ties with industry, including BAe, BMT, BT, DRA, TSB and Daimler-Chrysler.

Regular seminars in Computer Science are held which help to stimulate research; the seminars are attended by both staff and postgraduate students. Presentations are given by members of the Department as well as by guest speakers from other institutions.

Staff

Dr Chris Fox

<C.Fox@gold.ac.uk> (Formal Semantics, Computational Linguistics, Philosophical Logic, Slicing.)

Dr Mark Harman

<M.Harman@gold.ac.uk> (Slicing, Transformation, Testing and Genetic Algorithms.)

Dr Rob Hierons

<R.Hierons@gold.ac.uk> (Software Testing Formal Specification Languages, Finite State Machines Software Reliability, Slicing, Graph Theory, Matroid Theory.)

Dr Jasna Kuljis

<J.Kuljis@gold.ac.uk> (Human Computer Interfaces. The design of graphical user interfaces. The usability of interactive computer systems. Visualisation and visual programming.)

Mr James Ohene-Djan

<J.Ohene-Djan@gold.ac.uk> (Adaptive hypermedia and hypertext. Adaptive tutorial Systems. Hypermedia programming. Multimedia Systems development. Advanced Internet Programming. Relational databases. Interactive programming.)

Prof Philip Powell

<P.Powell@gold.ac.uk> (Organisational implications of Information Systems, decision support and expert systems, risk analysis, Information Systems strategy and evaluation.)

Dr Ida Pu

<I.Pu@gold.ac.uk> (Efficient Algorithms, Randomised, Sequential and Parallel, Probabilistic Algorithmic Analysis, Data Structures, Networks and Communications.)

Prof Nelson Stephens

<N.Stephens@gold.ac.uk> (Heuristic algorithms for computationally hard problems; Algorithms; Computational number theory; Cryptography.)

Mr Marian Ursu

<M.Ursu@gold.ac.uk> (Intelligent Design Assistants, Knowledge Based Systems, Knowledge Representation/Engineering, Spatial Reasoning, Logic, Logic Programming, Behaviours of Intelligent Systems (Interaction with the User).)