MComp Computer Science, Computer Science
University of Brighton
Jan 2009 - Jan 2013 (4 years 1 month)
Covered topics in the areas of: Android Development, Java, Specification - Validation and Verification, Advanced Computer Systems Architecture, Distributed Systems Principles, Research Methods, Client - Server Computing, Specification and Refinement, Rigorous Object-oriented Modelling, Computer Graphics Algorithms, Real-time Systems and Concurrency, Object Orientated Design and Development, Web and Network Management, Object-oriented Software Design and Implementation, Specification and Reasoning, Computer Systems Architecture, Models of Machines and Computation, Languages and Machines, Operating Systems, User-centred Design for Interaction, Programming, Databases, Web Design and Development, Internet Applications, Requirements Analysis, Hu