Graduate classes, Fall 2011, Computer Science

CS 524: Theory Of ComputingCredits: 4− Description− Sections
Content: This course gives mathematical methods to classify the complexity of computational problems. Topics include regular languages, grammars, decidability, NP-completeness, and corresponding models of computation.
Texts: Introduction to the Theory of Computation, by Sipser. Course Technology. ISBN 10: 0534950973.
Assessments: TBA
Prerequisites: CS 124 and 253.
000MSC: W303MWF 10:40am - 11:30amMichelangelo Grignimax 25
CS 540: Software EngineeringCredits: 4− Description− Sections
Content: Software engineering as a discipline has evolved in conjunction with computer hardware and programming tools. Despite its infancy, SW Engineering has some fundamental processes that are recognized as essential to the production of quality software that meets customer requirements. Both the ACM (as "SE2004") and the IEEE (as "Software Engineering Body of Knowledge" or "SWEBOK") have defined a set of skills that practitioners of software development should possess. These include Requirements, Design, Construction, Testing, Quality Control, and Configuration Management. This course seeks to teach principles of software engineering through hands-on experience in a series of projects. In addition, the student will be introduced to applied concepts in software engineering through the blogs and writings of some of today's most noted practitioners.
Texts: TBA
Assessments: TBA
Prerequisites: TBA
000MSC: W302TuTh 4:00pm - 5:15pmJoan Smithmax 25
CS 551: Systems ProgrammingCredits: 4− Description− Sections
Content: Systems programming topics will be illustrated by use of the Unix operating system. Topics include: file i/o, the tty driver, window systems, processes, shared memory, message passing, semaphores, signals, interrupt handlers, network programming and remote procedure calls. Programming examples and assignments will illustrate the system interface on actual computer hardware. All assignments will be in written in C. The department's computing lab will be used in the course to allow students to get hands-on experience with operating system and hardware topics that cannot effectively be pursued on a central timesharing computer.
Texts: TBA
Assessments: TBA
Prerequisites: TBA
000MSC: W301TuTh 2:30pm - 3:45pmKen Mandelbergmax 25
CS 556: Compiler ConstructionCredits: 4− Description− Sections
Content: An introduction to the algorithms and data structures used to construct a high level language compiler. Topics include: formal language specification, lexical analysis, parsing, and code generation.
Texts: TBA
Assessments: TBA
Prerequisites: CS 253, CS 255, and CS 424, or their equivalents. A substantial portion of this course will involve a student project to construct a compiler for a simplified programming language. Working knowledge of C or C++ is highly recommended.
000MSC: W301MW 3:00pm - 4:15pmJames Lumax 15
CS 584: Topics in Computer Science: Introduction to Biomedical InformaticsCredits: 4− Description− Sections
Content: TBA
Texts: TBA
Assessments: TBA
Prerequisites: TBA
000PAIS 561TuTh 1:00pm - 2:15pmAshish Sharmamax 25
CS 584: Topics in Computer Science: High-Performance ComputingCredits: 4− Description− Sections
Content: TBA
Texts: TBA
Assessments: TBA
Prerequisites: TBA
001PAIS 561MW 4:20pm - 5:35pmPatrick Widenermax 25
CS 590: Teaching SeminarCredits: 1− Description− Sections
Content: This seminar will concentrate on effective teaching techniques in computer science. Topics included will include: General advice for new TA's. General advice for International TA's. Students will present several practice lectures over different levels of material. They will receive practice on quiz and test preparation. Syllabus information on courses most likely to be taught by new TA's will be supplied. General professional development information will also be included.
Texts: TBA
Assessments: TBA
Prerequisites: TBA
000MSC: E406F 1:00pm - 1:50pmShun Yan Cheungmax 16
CS 597R: Directed StudyCredits: 1 - 12− Description− Sections
Content: TBA
Texts: TBA
Assessments: TBA
Prerequisites: TBA
CHEUShun Yan Cheungmax 999
LUJames Lumax 999
NAGYMSC: OtherJames Nagymax 999
TIRAAlfredo Tirado-Ramosmax 999
XIONLi Xiongmax 999
CS 598R: Rotation ProjectCredits: 1 - 4− Description− Sections
Content: Computer Science and Informatics PhD students are required to complete two rotation projects prior to their qualifying exams and dissertation research. Projects often involve interdisciplinary work, and can be co-supervised by a Math/CS faculty and an external faculty member or researcher (e.g., Schools of Medicine and Public Health, the CDC). Students are required to submit a project proposal and a final report.
Texts: TBA
Assessments: TBA
Prerequisites: TBA
AGICEugene Agichteinmax 999
GRIGMichelangelo Grignimax 999
LUJames Lumax 999
NAGYJames Nagymax 999
SALTJoel Saltzmax 999
SUNDVaidy Sunderammax 999
WANGFusheng Wangmax 999
XIONLi Xiongmax 999
CS 599R: Master's Thesis ResearchCredits: 1 - 12− Description− Sections
Content: TBA
Texts: TBA
Assessments: TBA
Prerequisites: TBA
00LUMSC: OtherJames Lumax 999
AGICEugene Agichteinmax 999
GRIGMichelangelo Grignimax 999
QINFaculty (TBA)max 999
TAYLJames Taylormax 999
XIONLi Xiongmax 999
CS 700R: Graduate SeminarCredits: 1− Description− Sections
Content: TBA
Texts: TBA
Assessments: TBA
Prerequisites: TBA
000MSC: W301F 3:00pm - 4:00pmLi Xiongmax 25
CS 797R: Directed StudyCredits: 1 - 12− Description− Sections
Content: TBA
Texts: TBA
Assessments: TBA
Prerequisites: TBA
GRIGMichelangelo Grignimax 999
LUJames Lumax 999
SMITJoan Smithmax 999
TAYLJames Taylormax 999
CS 799R: Dissertation ResearchCredits: 1 - 12− Description− Sections
Content: TBA
Texts: TBA
Assessments: TBA
Prerequisites: TBA
AGICEugene Agichteinmax 999
LUJames Lumax 999
MANDKen Mandelbergmax 999
NAGYJames Nagymax 999
WANGMSC: OtherFusheng Wangmax 99
XIONLi Xiongmax 999