Computer Science Part II
Michaelmas
- Project Briefing II
- Prof Mike Gordon
- Rayleigh Lecture Theatre (1 lecture at 10:00 on Th starting 08-Oct-98)
- Communicating Automata and Pi Calculus
- Prof Robin Milner
- Rayleigh Lecture Theatre (16 lectures at 11:00 on TT starting 08-Oct-98)
- Advanced Graphics
- Dr Neil Dodgson
- Hopkinson Lecture Room (8 lectures at 12:00 on TT starting 08-Oct-98)
- Information Theory and Coding
- Dr John Daugman
- Heycock Room (12 lectures at 10:00 on MWF starting 09-Oct-98)
- Types
- Dr Peter Sewell
- Babbage Lecture Theatre (8 lectures at 11:00 on MWF starting 09-Oct-98)
- VLSI
- Dr Peter Robinson
- Hopkinson Lecture Room (12 lectures at 12:00 on MWF starting 09-Oct-98)
- Optimising Compilers
- Dr Alan Mycroft
- Hopkinson Lecture Room (15 lectures at 11:00 on MWF starting 28-Oct-98)
- Digital Communications II
- Prof Ian Leslie
- Rayleigh Lecture Theatre (12 lectures at 12:00 on MWF starting 06-Nov-98)
Lent
- Information Retrieval
- Dr Karen Sparck Jones
- Rayleigh Lecture Theatre (8 lectures at 11:00 on TT starting 14-Jan-99)
- Neural Computing
- Dr John Daugman and Dr Chris Bishop
- Hopkinson Lecture Room (16 lectures at 12:00 on TT starting 14-Jan-99)
- Artificial Intelligence
- Dr William Clocksin
- Hopkinson Lecture Room (12 lectures at 10:00 on MWF starting 15-Jan-99)
- Security
- Dr Ross Anderson
- Rayleigh Lecture Theatre (12 lectures at 11:00 on MWF starting 15-Jan-99)
- Natural Language Processing
- Dr Ted Briscoe
- Rayleigh Lecture Theatre (8 lectures at 12:00 on MW starting 18-Jan-99)
- Comparative Architectures
- Mr Ian Pratt
- Rayleigh Lecture Theatre (8 lectures at 11:00 on TT starting 11-Feb-99)
- Specification and Verification I
- Prof Mike Gordon
- Hopkinson Lecture Room (12 lectures at 10:00 on MWF starting 12-Feb-99)
- Additional Topics
- Prof Andy Hopper
- Hopkinson Lecture Room (12 lectures at 11:00 on MWF starting 12-Feb-99)
- Numerical Analysis II
- Dr Mike O'Donohoe
- Rayleigh Lecture Theatre (12 lectures at 12:00 on MWF starting 12-Feb-99)
Easter
- Computer Vision
- Dr John Daugman
- Arts School Room A (8 lectures at 11:00 on TT starting 22-Apr-99)
- Distributed Systems
- Dr Jean Bacon
- Rayleigh Lecture Theatre (8 lectures at 12:00 on TT starting 22-Apr-99)
- Specification and Verification II
- Prof Mike Gordon
- Hopkinson Lecture Room (12 lectures at 10:00 on MWF starting 23-Apr-99)
- Denotational Semantics
- Dr Andrew Pitts
- Hopkinson Lecture Room (8 lectures at 11:00 on MWF starting 23-Apr-99)
- Business Studies
- Mr Jack Lang
- Hopkinson Lecture Room (12 lectures at 12:00 on MWF starting 23-Apr-99)
Computer Lab Home |
Lecture Course Home
Generated at 12:27.15 on 9/9/1998