M.Sc in Computing (Software Engineering) - Year 5

List of Modules - Academic Year 2019-2020

Notes:

Compulsory

All these modules are required. Module runs in term(s)
Autumn Spring Summer
577 MSc Orientation
   
540 MSc Software Engineering Group Project
 
475 Software Engineering for Industry  
 
542 MSc Computing Science (Specialist) Individual Project    

Selective

Choose between 4 and 7 modules from this set. Module runs in term(s)
Autumn Spring Summer
337 Simulation and Modelling
   
382 Type Systems for Programming Languages
   
404 Separation Logic: Scalable Reasoning about Programs
   
406 Concurrent Processes
   
408 Privacy Engineering
   
410 Scalable Systems and Data
   
447 Advanced Computer Security
   
470 Program Analysis
   
471 Advanced Issues in Object Oriented Programming
   
572 Advanced Databases
   
303 Systems Verification  
 
331 Network and Web Security  
 
338 Pervasive Computing  
 
339 Performance Engineering  
 
347 Distributed Algorithms  
 
440 Software Reliability  
 
467 Principles of Distributed Ledgers  
 
468 Probabilistic Programming  
 
499 Modal Logic for Strategic Reasoning in AI  
 

Optional

Choose at most 3 modules from this set. Module runs in term(s)
Autumn Spring Summer
316 Computer Vision
   
332 Advanced Computer Architecture
   
333 Robotics
   
343 Operations Research
   
422 Computational Finance
   
424 Reinforcement Learning
   
438 Complexity
   
474 Machine Arguing
   
484 Quantum Computing
   
491 Knowledge Representation
   
496 Mathematics for Machine Learning
   
553 Introduction to Machine Learning
   
304 Logic-Based Learning  
 
317 Graphics  
 
318 Custom Computing  
 
416 Machine Learning for Imaging  
 
417 Advanced Computer Graphics  
 
433 Advanced Robotics  
 
460 Deep Learning  
 
477 Computational Optimisation  
 
490 Natural Language Processing  
 
493 Probabilistic Inference  
 
512 Independent Study Option  
 

Total


Page dynamically generated on Mon 18 November 2019 at 03:40:14    Valid XHTML 1.0 Transitional    Valid CSS!