Университет Уорик, MSc, Компьютерные исследования

Research supervision available in a wide range of areas in computer science; main areas of interest include: theory and practice of programming: code validation; combining formal approaches; linear logic; model checking; program efficiency; programming languages; proof annotations; quantum computing; semantics of imprecision; high performance systems: analysis techniques and tools to predict, tune, and optimise the performance of parallel and sequential applications; performance prediction methodologies to optimise industrial strength; applications, development of distributed architectures for computationally intensive applications; human aspects: agent-based systems; artificial intelligence; educational technology; history of computing; science policy in information technology; interactive environments; signal and image processing: video compression; low bit-rate video coding for interactive multimedia and video-conferencing; multiresolution signal representations; wavelets; stereopsis and visual motion; motion estimation and shape representation for object-based video coding; visual feature extraction and multimedia content description schemes; medical image processing; algorithms and complexity: combinatorial algorithms; randomised algorithms; complexity of algorithms; machine learning; parallel computation; statistical inference.