CS 598

Fall 2009 All Classes

All Classes

Special Topics

Credit: 2 TO 4 hours.

Subject offerings of new and developing areas of knowledge in computer science intended to augment the existing curriculum. See Class Schedule or departmental course information for topics and prerequisites.

May be repeated in the same or separate terms if topics vary.

My Favorites

My Schedule

Section Status updates every 10 minutes.

CS 598 class schedule data for fall 2009
CRN	Type	Section	Time	Day	Location	Instructor	Section Details
49222	Lecture-Discussion	GA	2:00PM -3:15PM	WF	1131 Siebel Center for Comp Sci	Agha, G	Part of Term: 1 Date Range: 08/24/09-12/09/09 Credit: 4 hours Section Info: Topic: Actor Languages, Compilers and Runtime Systems. The course will cover actor languages for web computing, multicomputers, multicore architectures, and sensor networks. Several industrial and academic actor languages will be studied in depth. Advanced topics will include high-level programming abstractions for coordination and orchestration of actors, and techniques for building efficient actor compilers and runtime systems.
49828	Lecture-Discussion	HI	1:00PM -3:50PM	M	1131 Siebel Center for Comp Sci	Berlin, R Schatz, B	Part of Term: 1 Date Range: 08/24/09-12/09/09 Credit: 4 hours Section Info: Topic: Healthcare Infrastructure. Healthcare is the largest industry in the country, but the current infrastructure for providing healthcare is not viable. Recent advances in information technology promise radically different infrastructure that could provide a viable model for providing healthcare. This course will examine healthcare infrastructure through lectures and discussions, through text readings and web sites. There is a particular focus on measuring the health of populations, in the demographic era of chronic illness. Information sources are discussed in detail from medical literature and records to health brochures and monitors. There are no pre-requisites for this course, but students encouraged to use background experiences. Practical topics will be emphasized with the aim of revolutionizing an industry in transition. A semester project will be required, on information technology aspects of population health measurement. This section meets with LIS 590, Section HI.
40106	Lecture-Discussion	JCH	9:30AM -10:45AM	TR	1131 Siebel Center for Comp Sci	Hart, J	Part of Term: 1 Date Range: 08/24/09-12/09/09 Credit: 4 hours Section Info: Topic: Shape Modeling. We will spend the semester reviewing recent work on shape modeling and the reconstruction of surfaces from scattered data points. Prerequisite: CS 418 or instructor consent.
54314	Lecture-Discussion	JGE	11:00AM -12:15PM	TR	1302 Siebel Center for Comp Sci	Erickson, J	Part of Term: 1 Date Range: 08/24/09-12/09/09 Credit: 4 hours Section Info: Topic: Computational Topology. A broad introduction to algorithms for topological problems and their applications in various areas of computer science. Possible theoretical topics include the topology of cell complexes, topological graph theory, persistent homology, discrete Morse theory, discrete differential geometry, and normal surface theory. Possible application areas include graphics and geometry processing, mesh generation, VLSI routing, motion planning, sensor networks, manifold learning, and combinatorial optimization. Specific topics will depend on the skills and interests of the audience. Prerequisite: Strong mathematical and/or algorithmic maturity. CS 573 and/or Math 525 recommended, but not required; background material will be introduced as needed.
42378	Lecture-Discussion	KGK	2:00PM -3:15PM	TR	1131 Siebel Center for Comp Sci	Karahalios, K	Part of Term: 1 Date Range: 08/24/09-12/09/09 Credit: 4 hours Section Info: Topic: Designing Social Spaces. Today, more and more computer-mediated-communication interfaces are in use such as instant messaging systems (MSN, AIM, ICQ) and mobile messaging systems (SMS). Some of these interfaces work well, and some don't. We will look at the social and technical implications of why this is so - primarily, communication cues over different channels and the importance of interface design. The emphasis of this course is to design and implement computer mediated communication systems that serve a social function. Prerequisite: CS465 or CS498, KGK, are preferred but not required.
46032	Lecture-Discussion	MAN	11:00AM -12:15PM	WF	1304 Siebel Center for Comp Sci	Borisov, N Prabhakaran, M	Part of Term: 1 Date Range: 08/24/09-12/09/09 Credit: 4 hours Section Info: Topic: Applied Cryptography. This course is intended to provide a foundation in applied cryptography. It introduces the students to fundamental cryptographic notions and how cryptographic primitives can be used to construct larger schemes with security guarantees. Meets with ECE 598 section MAN (crn 54382). Note to undergraduates: Advanced undergraduate students are encouraged to try this course.
54730	Lecture	NV	11:00AM -12:20PM	TR	1304 Siebel Center for Comp Sci	Vaidya, N	Part of Term: 1 Date Range: 08/24/09-12/09/09 Credit: 4 hours Section Info: Topic: Distributed Algorithms for Wired and Wireless Networks. Prerequisites: ECE 428 or ECE 438. Distributed algorithms for wired networks, including algorithms for consensus, clock synchronization, mutual exclusion, broadcast; proofs of correctness of distributed algorithms; fault-tolerant distributed algorithms; distributed algorithms for wireless networks. Meets with ECE 598, Section NV, 54453.
54292	Lecture-Discussion	PBG	3:30PM -4:45PM	TR	1302 Siebel Center for Comp Sci	Godfrey, P	Part of Term: 1 Date Range: 08/24/09-12/09/09 Credit: 4 hours Section Info: Topic: Advanced Internet.
36005	Lecture-Discussion	RHK	12:30PM -1:45PM	TR	1105 Siebel Center for Comp Sci	Kravets, R	Part of Term: 1 Date Range: 08/24/09-12/09/09 Credit: 4 hours Section Info: Topic: Mobile/Wireless Computing. Wireless communication devices have become very common, even replacing traditional Ethernet cards in mobile computers. The nature of the communication services provided by such wireless devices differs drastically from wireline services, requiring different techniques at all layers of the protocol stack. The goal of this course is to explore these challenges in the context of many different networking environments, including ad hoc networks, sensor networks, mesh networks, delay tolerant networks, and last hop wireless networks. Prerequisite: CS 438 (Computer Networks) or the equivalent. It is assumed that students taking this class have prior knowledge of computer network protocols and architectures.
54746	Lecture-Discussion	SV	12:30PM -1:50PM	TR	1111 Siebel Center for Comp Sci	Vasudevan, S	Part of Term: 1 Date Range: 08/24/09-12/09/09 Credit: 4 hours Section Info: Topic: Automatic Approaches to Hardware and Software Verification. Prerequisities: ECE 411 or CS/ECE 462 and CS 273 or CS 225 or consent of instructor. This course will introduce the student to formal verification techniques to check hardware designs and embedded software. The course will present an overview of the verification paradigms that are most applied in practical hardware and embedded system verification. The course will discuss state space based automatic verification techniques such as: model checking, symbolic model checking, BDD-based equivalence checking, symbolic trajectory evaluation, symbolic simulation and SAT solving algorithms. The course will also discuss deductive checking techniques like theorem proving and rewriting for arithmetic and processor verification. There will be an emphasis on the practical ramifications of these algorithms in contemporary semiconductor as well as embedded software environments. This sections meets with ECE 598, SV, 51921.