II notes

• Part II Denotational Semantics (14)
• Part II Project talk notes (4)
• Part II Specification & Verification (12)
• Part II Types (9)
• Part II Computer Systems Modelling (25)
• Part II Human Computer Interaction (9)
• Part II Information Retrieval (8)
• Part II Natural Language Processing (8)
• Part II Information Theory and Coding (39)
• Random note

• Compsci
• bobbY (Final year dissertation)
• MSc Coursework
• MSc Project Work: Literature Review [pdf] Research Proposal [pdf]
• PhD Research Proposal Version 1 [pdf] Version 2 [pdf]
• Course notes All First Year Second Year Third Year MSc
• flurble.org