Courses 2012/13

Personal tools

Courses 2012/13

Students are encouraged to reconfigure the information presented on this page to gather courses into particular groups [e.g. collections, semesters, levels, points etc]. The default order of the list is alphabetical, ordered by course title, just click on column headings to change sort order.

This page should also be used to find out the Informatics course acronym for each course, used elsewhere on the timetable or associated pages. The column labelled course title provides a link to the Informatics course page, the EUCLID code title links to the centrally published course information.

Additional information is available in the Course Registration part of the ITO website, including introductory presentations and course survey responses.

Click on column headings to change sort order

			Programme Collection
Course URL	EUCLID Code	Acronym	AI	CG	CS	SE	Level	Points	Year	Delivery Period	Lecturer / Coordinator/s
Software Engineering with Objects and Components	INFR09016	SEOC			CS	SE	9	10	3	S1	P Stevens
Software Testing	INFR09024	ST				SE	9	10	3	S2	S Anderson
Software Architecture, Process, and Management (Level 10)	INFR10024	SAPM-4				SE	10	10	4	S2	A Clark
Software Architecture, Process, and Management (Level 11)	INFR11038	SAPM-5				SE	11	10	5	S2	A Clark
Computer Programming Skills and Concepts	INFR08022	CP					8	20	1	S1	J Bradfield / M Cryan
Informatics 1 - Cognitive Science	INFR08020	INF1-CG					8	20	1	S2	R Shillcock / H Thompson
Informatics 1 - Computation and Logic	INFR08012	INF1-CL					8	10	1	S1	D Robertson
Informatics 1 - Data and Analysis	INFR08015	INF1-DA					8	10	1	S2	I Stark
Informatics 1 - Functional Programming	INFR08013	INF1-FP					8	10	1	S1	D Sannella
Informatics 1 - Object-Oriented Programming	INFR08014	INF1-OP					8	10	1	S2	P Stevens
Discrete Mathematics and Mathematical Reasoning	INFR08023	DMMR					8	20	2	S1	R Mayr / K Etessami
Informatics 2A - Processing Formal and Natural Languages	INFR08008	INF2A					8	20	2	S1	J Longley / A Simpson
Informatics 2B - Algorithms, Data Structures, Learning	INFR08009	INF2B					8	20	2	S2	K Kalorkoti / I Murray
Informatics 2C - Introduction to Computer Systems	INFR08018	INF2C-CS					8	10	2	S1	P Jackson
Informatics 2C - Introduction to Software Engineering	INFR08019	INF2C-SE					8	10	2	S1	N Goddard
Informatics 2D - Reasoning and Agents	INFR08010	INF2D					8	20	2	S2	A Lascarides / J Fleuriot
AI Large Practical	INFR09018	AILP					9	10	3	S1	A Smaill
Agent Based Systems (Level 10)	INFR10049	ABS-4	AI	CG			10	10	3	S2	M Rovatsos
Agent Based Systems (Level 9)	INFR09036	ABS-3	AI	CG			9	10	3	S2	M Rovatsos
Algorithms and Data Structures	INFR09006	ADS			CS		9	10	3	S1	M Cryan
Compiling Techniques	INFR09007	CT			CS		9	10	3	S2	B Franke
Computability and Intractability	INFR09008	CI			CS		9	10	3	S1	R Santhanam
Computational Cognitive Science	INFR09035	CCS	AI	CG			9	10	3	S1	S Goldwater
Computer Architecture	INFR09009	CAR			CS		9	10	3	S2	N Topham / V Nagarajan
Computer Communications and Networks	INFR09027	COMN			CS		9	10	3	S2	D Arvind
Computer Design	INFR09010	CD			CS		9	10	3	S1	N Topham / O Almer
Computer Science Large Practical	INFR09040	CSLP					9	10	3	S1	S Gilmore
Computer Security	INFR09025	CS			CS		9	10	3	S2	D Aspinall
Database Systems	INFR09011	DBS			CS		9	10	3	S1	L Libkin
Foundations of Natural Language Processing	INFR09028	FNLP	AI	CG			9	10	3	S2	A Lascarides
Introduction to Vision and Robotics	INFR09019	IVR	AI	CG			9	10	3	S2	M Herrmann / V Ferrari
Introductory Applied Machine Learning	INFR09029	IAML	AI	CG	CS		9	10	3	S1	V Lavrenko / N Goddard
Language Semantics and Implementation	INFR09014	LSI			CS		9	10	3	S2	C Stirling / R Mayr
Logic Programming	INFR09031	LP	AI	CG	CS		9	10	3	S1	A Smaill / A Simpson
Operating Systems	INFR09015	OS			CS		9	10	3	S1	J Bradfield
Professional Issues (Level 10)	INFR10022	PI					10	10	3	S1	S Anderson
Software Engineering Large Practical	INFR09039	SELP					9	10	3	S1	S Gilmore
System Design Project	INFR09032	SDP					9	20	3	S2	H Thompson
Advanced Databases (Level 10)	INFR10002	ADBS-4			CS		10	10	4	S2	S Viglas
Advanced Vision (Level 10)	INFR10001	AV-4	AI	CG			10	10	4	S2	R Fisher
Automated Reasoning (Level 10)	INFR10041	AR-4	AI	CG	CS		10	10	4	S1	P Jackson / J Fleuriot
Communication and Concurrency	INFR10007	COC			CS		10	10	4	S1	C Stirling
Compiler Optimisation (Level 10)	INFR10023	COPT-4			CS		10	10	4	S2	M O'Boyle
Computational Complexity	INFR10008	CMC			CS		10	10	4	S2	R Santhanam
Computational Neuroscience of Vision	INFR11037	CNV		CG			11	10	4	S2	J Bednar
Computer Algebra	INFR10009	CA			CS		10	10	4	S2	K Kalorkoti
Computer Animation & Visualisation (Level 10)	INFR10039	CAV-4	AI	CG	CS		10	10	4	S2	T Komura
Computer Graphics (Level 10)	INFR10010	CG-4		CG	CS		10	10	4	S1	T Komura
Computer Networking (Level 10)	INFR10011	CN-4			CS		10	10	4	S1	D Arvind
Data Integration and Exchange (Level 10)	INFR10032	DIE-4			CS		10	10	4	S2	L Libkin
Distributed Systems (Level 10)	INFR10012	DS-4			CS		10	10	4	S1	A Clark
Embedded Software	INFR10013	ES			CS		10	10	4	S2	M O'Boyle / B Franke
Extreme Computing	INFR11088	EXC			CS		11	10	4	S1	M Osborne / S Viglas
Honours Project (Informatics)	INFR10044	PROJ					10	40	4	YR	D Sannella
Human-Computer Interaction (Level 10)	INFR10018	HCI-4	AI	CG	CS		10	10	4	S1	M Wright
Intelligent Autonomous Robotics (Level 10)	INFR10005	IAR-4	AI				10	10	4	S1	B Webb
MInf Project Phase 1	INFR10038	MPP1					10	20	4	FLEX	K Kalorkoti
MInf Project Planning	INFR10037	MPP					10	20	4	FLEX	K Kalorkoti
Machine Learning & Pattern Recognition (Level 11)	INFR11073	MLPR	AI	CG	CS		11	10	4	S2	C Sutton
Machine Translation (Level 10)	INFR10033	MT-4	AI	CG			10	10	4	S2	M Osborne
Multi-agent Semantic Web Systems (Level 10)	INFR10019	MASWS-4	AI	CG			10	10	4	S2	F McNeill
Natural Language Generation (Level 10)	INFR10034	NLG-4	AI	CG			10	10	4	S2	J Moore
Natural Language Generation (Level 11)	INFR11060	NLG-5	AI	CG			11	10	4	S2	J Moore
Parallel Architectures (Level 10)	INFR10016	PA-4			CS		10	10	4	S2	V Nagarajan
Parallel Programming Languages and Systems (Level 10)	INFR10015	PPLS-4			CS		10	10	4	S2	M Cole
Performance Modelling (Level 10)	INFR10046	PM-4			CS		10	10	4	S1	J Hillston
Querying and Storing XML	INFR10017	QSX			CS		10	10	4	S2	J Cheney
System Level Integration Practical	INFR10042	SLIP			CS		10	10	4	S1	J Mann
Text Technologies (Level 10)	INFR10025	TTS-4	AI	CG			10	10	4	S1	V Lavrenko
Topics in Cognitive Modelling (Level 10)	INFR10050	TCM-4	AI	CG			10	10	4	S2	S Goldwater / J Lee
Advanced Databases (Level 11)	INFR11011	ADBS-5			CS		11	10	5	S2	S Viglas
Advanced Natural Language Processing	INFR11059	ANLP	AI	CG			11	20	5	S1	P Koehn / B Webber / J Moore
Advanced Vision (Level 11)	INFR11031	AV-5	AI	CG			11	10	5	S2	R Fisher
Algorithmic Game Theory and its Applications	INFR11020	AGTA			CS		11	10	5	S1	K Etessami
Automated Reasoning (Level 11)	INFR11074	AR-5	AI	CG	CS		11	10	5	S1	P Jackson / J Fleuriot
Automatic Speech Recognition	INFR11033	ASR	AI	CG			11	10	5	S2	S Renals
Bioinformatics 1	INFR11016	BIO1		CG	CS		11	10	5	S1	D Armstrong
Bioinformatics 2	INFR11005	BIO2		CG	CS		11	10	5	S2	G Sanguinetti / G Schweikert
Compiler Optimisation (Level 11)	INFR11032	COPT-5			CS		11	10	5	S2	M O'Boyle
Computational Cognitive Neuroscience	INFR11036	CCN		CG			11	10	5	S2	P Series
Computer Animation & Visualisation (Level 11)	INFR11067	CAV-5	AI	CG	CS		11	10	5	S2	T Komura
Computer Graphics (Level 11)	INFR11021	CG-5		CG	CS		11	10	5	S1	T Komura
Computer Networking (Level 11)	INFR11049	CN-5			CS		11	10	5	S1	D Arvind
Data Integration and Exchange (Level 11)	INFR11058	DIE-5			CS		11	10	5	S2	L Libkin
Data Mining and Exploration	INFR11007	DME	AI	CG			11	10	5	S2	C Sutton
Decision Making in Robots and Autonomous Agents	INFR11090	DMR	AI	CG			11	10	5	S2	S Ramamoorthy
Design and Analysis of Parallel Algorithms	INFR11028	DAPA			CS		11	10	5	S1	M Cole
Distributed Systems (Level 11)	INFR11022	DS-5			CS		11	10	5	S1	A Clark
Human-Computer Interaction (Level 11)	INFR11017	HCI-5	AI	CG	CS		11	10	5	S1	M Wright
Informatics Research Proposal	INFR11071	IRP					11	20	5	S2	V Lavrenko
Informatics Research Review	INFR11034	IRR					11	20	5	S1	V Lavrenko
Information Theory	INFR11087	IT	AI				11	10	5	S1	I Murray
Introduction to Java Programming	INFR09021	IJP					9	10	5	S1	P Anderson
MInf Project Phase 2	INFR11063	MPP2					11	60	5	FLEX	K Kalorkoti
MSc Dissertation (Informatics)	INFR11077	DISS					11	60	5	B5+	M Osborne
MSc Research Thesis (Neuroinformatics)	INFR11043	RTN					11	80	5	S2	P Series
Machine Translation (Level 11)	INFR11062	MT-5	AI	CG			11	10	5	S2	M Osborne
Multi-agent Semantic Web Systems (Level 11)	INFR11030	MASWS-5	AI	CG			11	10	5	S2	F McNeill
Neural Computation	INFR11008	NC		CG			11	10	5	S1	M Van Rossum
Neural Information Processing	INFR11035	NIP		CG			11	10	5	S2	M Van Rossum
Neuroinformatics Research	INFR11042	NR					11	20	5	S2	M Hennig
Parallel Architectures (Level 11)	INFR11024	PA-5			CS		11	10	5	S2	V Nagarajan
Parallel Programming Languages and Systems (Level 11)	INFR11023	PPLS-5			CS		11	10	5	S2	M Cole
Performance Modelling (Level 11)	INFR11082	PM-5			CS		11	10	5	S1	J Hillston
Principles of Neuroscience	INFR11048	PON					11	40	5	S1	P Series
Probabilistic Modelling and Reasoning	INFR11050	PMR	AI		CS		11	10	5	S1	C Williams
Randomness and Computation	INFR11089	RC					11	10	5	S2	I Diakonikolas
Reinforcement Learning	INFR11010	RL	AI				11	10	5	S2	M Herrmann
Robot Learning and Sensorimotor Control	INFR11091	RLSC	AI	CG			11	10	5	S2	S Vijayakumar
Robotics: Science and Systems	INFR11092	RSS					11	20	5	S1	S Ramamoorthy / S Vijayakumar / V Ferrari
Text Technologies (Level 11)	INFR11027	TTS-5	AI	CG			11	10	5	S1	V Lavrenko
Topics in Cognitive Modelling (Level 11)	INFR11086	TCM-5	AI	CG			11	10	5	S2	S Goldwater / J Lee