Graduate

Semester Schedule

A listing of courses offered in a given semester. This contains course titles, section numbers, credit hours, prerequisites, course location(s), instructors, and syllabi where available.

← Prior Semester | Next Semester →

Spring 2012

Catalog#
Class Nbr
Course Title
Credit Hours
Special Notes
Prerequisites(P:)
Day/Time
Room
Instructor
A521
29449
Computing Tools for Scientific Research
cr.
9:30AM-10:45AM Mon, Wed
Informatics West, Room 107
Randall Bramley
A590
23389
Topics in Programming
cr.
Topic: C And Unix Basics
meets first eight weeks only
1:00PM-2:15PM Mon, Wed
Informatics West, Room 109
Jeff Whitmer
A590
26940
Topics in Programming
cr.
Topic: Web Programming With C# and .NET
meets second eight weeks only
1:00PM-2:15PM Mon, Wed
Informatics West, Room 109
Jeff Whitmer
A590
33822
Topics in Programming
cr.
Topic: Arduino Development
meets second eight weeks only
11:15AM-12:30PM Mon, Wed
Lindley Hall, Room 035
William Byrd
A591
28024
15808
32489
15809
32490
28025
15811
15810
24823
15812
Introduction to Computer Science
cr.
Multiple Times
Multiple Locations
Suzanne Menzel
A592
30264
15813
23786
15815
23787
27440
15814
Introduction to Software Systems
cr.
P: Programming experience.
Multiple Times
Multiple Locations
Adrian German
A593
15816
15817
15818
Computer Structures
cr.
P: CSCI-A 592.
Multiple Times
Multiple Locations
Ben Louis Kovitz
A594
15819
15820
Data Structures
cr.
P: CSCI-A 592.
Multiple Times
Multiple Locations
Jonathan Mills
A595
15821
31991
Fundamentals of Computing Theory
cr.
P: CSCI-C 241.
Multiple Times
Multiple Locations
Daniel Leivant
A596
15822
15823
15824
Programming Languages
cr.
P: CSCI-A 593
Multiple Times
Multiple Locations
Dan Friedman
A597
23959
31576
26962
23960
23961
23962
23963
26955
31574
Introduction to Programming I
cr.
Multiple Times
Multiple Locations
Adity Mutsuddi
B501
23884
34654
Theory of Computing
cr.
P: CSCI-C 241.
Multiple Times
Informatics East, Room 130
Dirk Van Gucht
B502
29451
Computational Complexity
cr.
P: CSCI-B 501.
4:00PM-5:15PM Mon, Wed
Lindley Hall, Room 008
Steven Myers
B503
15826
Algorithms Design and Analysis
cr.
P: MATH-M 216 and CSCI-C 343.
2:30PM-3:45PM Mon, Wed
Swain Hall West, Room 221
Paul Purdom
P515
26468
Specification and Verification
cr.
P: CSCI-C 311.
Course URL (syllabus link or course homepage)
1:00PM-2:15PM Tue, Thu
Ballantine Hall, Room 005
Steve Johnson
B522
27442
Programming Language Foundations
cr.
P: CSCI-C 311 or B 521 and B 510.
Course URL (syllabus link or course homepage)
The course is about the mathematical and logical foundations of programming language semantics. We will cover the lambda calculus, syntactic theories, abstract machines, type theory, and proof techniques (manual and automated) for reasoning about program invariants. B521 or equivalent is an absolute prerequisite
9:30AM-10:45AM Tue, Thu
Informatics West, Room 107
Amr Sabry
P523
31995
Programming Language Implementation
cr.
P: CSCI-B 521 or C 311.
8:00AM-9:15AM Tue, Thu
Lindley Hall, Room 008
Arun Chauhan
B524
31996
Parallelism in Programming Languages and Systems
cr.
P: CSCI-P436 or P 536, and either CSCI-C 311 or B 521 or C 343.
Course URL (syllabus link or course homepage)
11:15AM-12:30PM Tue, Thu
Lindley Hall, Room 008
Andrew Lumsdaine
B534
23790
Distributed Systems
cr.
P: CSCI-P 436 or P 536.
11:15AM-12:30PM Mon, Wed
Informatics East, Room 130
Judy Qiu
B552
29454
Knowledge Based Artificial Intelligence
cr.
P: CSCI-B 551.
Course File (syllabus or course advertisement)
Burgeoning availability of Web-based knowledge sources makes this an exciting time for knowledge-based AI. This course examines knowledge-based methods for AI, including knowledge representation, organization, access, and application, in the context of tasks such as story understanding, explanation, planning, problem-solving, and decision support, to provide a view of the state of the art. The course includes a semester programming project done individually or in 2-person groups.
2:30PM-3:45PM Mon, Wed
Lindley Hall, Room 008
David Leake
B553
31997
Neural and Genetic Approaches to Artificial Intelligence
cr.
P: CSCI-B 551.
Course URL (syllabus link or course homepage)
Course File (syllabus or course advertisement)
This course will debut a new B553 syllabus intended as a standardized 2nd year graduate AI course: Algorithms for Optimization and Learning. Prerequisites: B551 or equivalent, calculus, linear algebra Topics: Application and implementation of optimality principles to design, decision making, and inference. Learning and probabilistic inference in graphical models, expectation maximization, and temporal sequence processing.
11:15AM-12:30PM Tue, Thu
Informatics East, Room 122
Kris Hauser
B565
31998
Data Mining
cr.
1:00PM-2:15PM Mon, Wed
Informatics East, Room 130
Mehmet Dalkilic
B621
33895
Advanced Concepts in Programming Languages
cr.
P: CSCI-C 311 or B 521.
5:30PM-7:00PM Tue, Thu
Lindley Hall, Room 101
Dan Friedman
P632
31999
Object-Oriented Software Management
cr.
P: Permission of instructor.
Course URL (syllabus link or course homepage)
This course will help turn motivated students into superior managers of any small- to mid-sized commercial or open-source software project. It takes a hands-on, learning-by-doing approach. Students are introduced to the main management concerns of managing smallish design and development teams.
5:45PM-7:00PM Mon, Wed
Informatics West, Room 107
Gregory J. E. Rawlins
B649
21587
Topics in Systems
cr.
P: Permission of instructor.
Topic: Modern Cyberfraud
9:30AM-10:45AM Mon, Wed
Lindley Hall, Room 008
Minaxi Gupta
B649
32000
Topics in Systems
cr.
P: Permission of instructor.
Topic: Network Systems
11:15AM-12:30PM Mon, Wed
Lindley Hall, Room 008
Martin Swany
B649
34652
34653
Topics in Systems
cr.
P: Permission of instructor.
Topic: Syst&protocol Secur&info Assur
Multiple Times
Multiple Locations
Apu Kapadia
B651
29456
Natural Language Processing
cr.
P: CSCI-B 551. CSCI-B 552 or B 553 recommended.
2:30PM-3:45PM Tue, Thu
Ballantine Hall, Room 011
Michael Gasser
B656
32001
Web Mining
cr.
Course URL (syllabus link or course homepage)
2:30PM-3:45PM Tue, Thu
Informatics West, Room 107
Filippo Menczer
B657
29458
Computer Vision
cr.
P: CSCI-C 463 or B 551.
1:00PM-2:15PM Mon, Wed
Wylie Hall, Room 005
David Crandall
B659
27816
27817
Topics in Artificial Intelligence
cr.
P: Permission of instructor.
Topic: Machine Learning Bioinformatic
Multiple Times
Multiple Locations
Haixu Tang
B659
34467
Topics in Artificial Intelligence
cr.
P: Permission of instructor.
Topic: Machine Learning - Computational Lingustics
4:00PM-5:15PM Tue, Thu
Woodburn Hall, Room 005
Sandra Claudia Kuebler
B659
34651
Topics in Artificial Intelligence
cr.
P: Permission of instructor.
Topic: Music Infoprocessing: Audio
1:00PM-2:15PM Tue, Thu
Informatics West, Room 105
Christopher Raphael
B669
32003
Topics in Database and Information Systems
cr.
P: Permission of instructor.
Topic: Formal Foundations of Databases
9:30AM-10:45AM Tue, Thu
Lindley Hall, Room 008
Dirk Van Gucht
B673
23383
Advanced Scientific Computing
cr.
P: CSCI-P 573 and MATH-M 471.
8:00AM-9:15AM Mon, Wed
Ballantine Hall, Room 304
Randall Bramley
B689
26466
Topics in Graphics and Human Computer Interaction
cr.
P: Permission of instructor.
Topic: Mathematical Modeling:Concepts, Programming, and Visualization
Course URL (syllabus link or course homepage)
Course File (syllabus or course advertisement)
4:00PM-6:30PM Tue
Lindley Hall, Room 008
Andrew J. Hanson
Y790
15856
20095
Graduate Independent Study
cr.
Arranged
Arranged
Predrag Radivojac
Mehmet Dalkilic
Y798
15857
Professional Practicum/Internship
cr.
P: Current enrollment in graduate degree program in computer science.
Arranged
Arranged
Mehmet Dalkilic
Y890
15858
Thesis Readings and Research
cr.
Arranged
Arranged
Predrag Radivojac
G901
15846
Advanced Research
cr.
Arranged
Arranged
Predrag Radivojac