Course	Sec	Course X-Listed	Course Title	Instructor	Day	Time	Room	Units
15-712*	A		Advanced Operating Systems and Distributed Systems	Gibson	MW	10:30 - 11:50	NSH 1305	12
15-721*	A		Database System Design and Implementation	Ailamaki	MWF	3:00 - 4:20	NSH 3002	12
15-745*	A		Optimizing Compilers for Modern Architectures	Goldstein	TR	9:00 - 10:20	WeH 5409	12
15-750*	A		Graduate Algorithms	M. Blum	MWF	10:30 - 11:50	WeH 5409	12
15-780*	A	16-731	Advanced AI Concepts	Sandholm / Lewicki	TR	1:30 - 2:50	NSH 1305	12
15-781*	A	10-701	Machine Learning	Guestrin / Mitchell	MW	1:30 - 2:50	WeH 7500	12
10-702	A	(Former 15-802)	Statistical Foundations of Machine Learning	Lafferty, Wasserman	TR	1:30 - 2:50	TBA	12
15-812*	A		Semantics of Programming Languages	Brookes	TR	10:30 - 11:50	WeH 4615A	12
15-817	A		Introduction to Model Checking	Clarke	F	1:30 - 2:50	WeH 4615A	6
15-818	A3	First Mini	Introduction to Separation Logic	Reynolds	MW	12:00 - 1:20	WEH 4615A	6
15-818	A4	Second Mini	Current Research on Separation Logic	Reynolds	MW	12:00 - 1:20	WEH 4615A	6
15-819	B	COURSE CANCELLED	Specification, Verification and Model Checking	Clarke / Reynolds / Wing	MW	1:30 - 2:50	WeH 4615A	12
15-826	A		Advanced Database Applications	Faloutsos	TR	3:00 - 4:20	NSH 1305	12
15-845	A		Current Research Issues in Computer Systems	Steenkiste	T	12:30 - 2:20	WeH 7220	2
15-849	B		Performance Modelling	Harchol-Balter	TR	10:30 - 11:50	WeH 5409	12
15-849	D		Special Topics in Computer Systems: Advanced Networking	Zhang	MW	1:30 - 2:50	WeH 5409	12
15-849	E		Advanced Topics in Computer Systems: Wireless Networking	Steenkiste	TR	3:00 - 4:20	WeH 4601	12
15-859	D	21-801	Mathematical Games	Sleator / Frieze	TR	1:30 - 2:50	WeH 4615A	12
15-859	L		The Structure of Information Networks	Kleinberg	MW	3:00 - 4:20	WeH 5409	12
15-863	A		Physically Based Modeling and Interactive Simulation	James	MW	12:00 - 1:20	WeH 5409	12
15-864	A		Advanced Computer Graphics	James	TR	1:30 - 2:50	WeH 5409	12
15-871	A	03-712/ 05-512/ 15-507	Computational Methods for Biological Modeling and Simulation	Schwartz	TR	9:00 - 10:20	OSC 200	12
15-872 (old 15-879B)	A		Special Topics in Computational Biology: Protein Structure Prediction	Langmead	TR	7:00 - 8:20 PM	WeH 5409	6
15-883	A		Computational Models of Neural Systems	Touretzky	MW	4:30 - 5:50	WeH 4615A	12
15-891	A		V-Unit	Veloso / Dias	N/A	N/A	N/A	Variable
15-998	A		Computer Science Practicum CSD PhD Students Only	Various				Variable
15-997	A		Graduate Reading and Research CSD PhD Students Only					Variable
OTHER COURSES OF INTEREST TO CSD STUDENTS
16-899	A		Machine Perception and Modeling of Human Behavior	Chris Atkeson (CMU) and Rich Simpson (PITT)	R	3:00 - 6:00 p.m.	PH 225B/Location Alternates between PITT and CMU	12
16-899	D		Assistive Robotic Technology in Nursing and Health Care (12 units) Pitt NUR 2840 Robotic Applications in Clinical Practice (3 units)	Aaron Steinfeld (CMU) and Judy Matthews (PITT)	T	4:30 - 7:20 p.m.	CMU NSH 1305 and Pitt TBD, with field trips
17-754	A		Analysis of Software Artifacts	Jonathan Aldrich	TR	10:30 - 11:50	NSH 1305	12
18-731	A		Network Security	Adrian Perrig	MW	10:30 - 12:20	BH 136A	12
18-732	A		Secure Software Systems	Dawn Song	MW	10:30 - 12:20	PH A20A	12
18-733	A		Applied Cryptography	Michael Reiter	MW	2:30 - 4:20	SH 125	12
80-820	A		Categorical Logic	Steve Awodey	F	3:30 - 5:50	SH 235A	6-12