Should normally hold good honours degree in the proposed study area. However will consider applicants who can demonstrate their capability by means of publications or employment responsibilities.
Months of entry
Course contentResearch areas include: Validated scientific computing; Nonlinear optimisation; Optimal control; Automatic differentiation; Machine learning; Instruction scheduling; Quantum information science; Semigroups, computer algebra and automata theory; Algebraic engineering; Information-theoretic methods in sonsor evolution; Security and integrity in distributed systems; Image and pattern recognition; Speech and audio processing; Compilers and architectures; Single-assignment languages for computational applications; Type theory and distributed type inference; Error-correcting codes for optical transmission lines; High-performance processor design; Pen-based document management.
Qualification and course duration
Course contact details
- Professor Bruce Christianson
- 01707 284335
- 01707 284303