 |
COURSE |
TITLE |
INSTRUCTOR |
DAYS/TIME |
TENTATIVE ROOM |
CIS 502/001*
CIS 502/002+ |
Analysis of Algorithms - THE FIRST MEETING FOR CIS 502 WILL BE WEDNESDAY, JANUARY 23. |
Guha |
MW 1:30-3 |
Wu & Chen |
CIS 505/001*
CIS 505/002+ |
Software Systems |
Loo |
MW 3-4:30 |
Moore 216 |
CIS 511/001*
CIS 511/002+ |
Theory of Computation |
Alur |
TR 12-1:30 |
Towne 313 |
| |
*CIS doctoral students should register for Sections 001 of CIS 502, CIS 505, or CIS 511.
+Students who are NOT CIS doctoral students should register for Sections 002 of CIS 502, CIS 505, or CIS 511. |
|
|
|
| CIS 518/401 |
Introduction to Logic & Computation |
Scedrov |
MW 10:30-12 |
DRLB 3C6 |
| CIS 530/001 |
Computational Linguistics |
Marcus |
TR 4:30-6 |
Towne 307 |
| CIS 536/401 |
Computational Biology |
Kim |
MW 3:30-5 |
LLAB 10 |
| CIS 537/401 |
Biomedical Imaging Analysis |
Gee |
MW 3:30-5 |
Towne 303 |
| CIS 551/401 |
Computer & Network Security |
Zdancewic |
TR 1:30-3 |
Towne 303 |
| CIS 552/001 |
Advanced Programming
registration by permission of instructor only |
Pierce |
MW 4:30-6 |
Towne 311 |
| CIS 555/401 |
Internet & Web Systems |
Ives |
TR 4:30-6 |
Towne 315 |
| Cancelled CIS 561/401 |
Computer Modeling & Animation Applications |
n/a |
n/a |
|
| CIS 563/001 |
Physically Based Animation |
Safonova |
MW 1:30-3 |
Towne 313 |
| CIS 573/001 |
Software Engineering |
Smith |
TR 9-10:30 |
Towne 315 |
| CIS 610/401 |
Advanced Geometric Methods in Computer Science |
Gallier |
MW 12-1:30 |
Towne 315 |
| CIS 630/301 |
Seminar in Natural Language Processing |
Joshi |
W 3-6 |
IRCS/Fishbowl Conf. Room |
| CIS 660/301 |
Advanced Topics in Computer Graphics & Animation |
Lane |
MW 10:30-12 |
Towne 315 |
| CIS 665/001 |
GPU Programming and Architecture |
Katz |
M 6-9 PM |
Towne 307 |
| CIS 682/001 |
Friendly Logics |
Tannen |
T 1:30-3 &
4:30-6 |
Levine 612 |
CIS 700/001 |
Special Topic: Monte Carlo for Machine Learning |
Taskar |
MW 10:30-12 |
Towne 303 |
CIS 700/003 |
Special Topic: Technology & Policy |
Smith/Blaze |
TR 12-1:30 |
Moore 216 |
CIS 899/--- |
Independent Study |
TBD |
N/A |
|
| CIS 999/--- |
Thesis/Dissertation Research |
TBD |
N/A |
|
| CIT 594/001 |
Programming Languages & Techniques II |
Matuszek |
TR 4:30-6 |
Moore 212 |
| CIT 595/001 |
Digital Systems Organization & Design |
Palsetia |
MW 1:30-3 |
Towne 321 |
| CIT 595/201 |
Digital Systems Organization & Design Recitation |
Palsetia |
F 3-4 |
Towne 321 |
| CIT 596/001 |
Theory of Computation |
Mintz |
TR 1:30-3 |
Towne 315 |
| CIT 596/201 |
Theory of Computation Recitation |
Mintz |
F 2-3 |
Towne 321 |
| MEAM 521/001 |
Introduction to Parallel Computing |
Biros |
MW 3-4:30 |
Towne 321 |
| MEAM 625/001 |
Haptic Interfaces for Virtual Environments & Teleoperation |
Kuchenbecker |
MWF 12-1 |
Towne 309 |
| TCOM 670/301 |
Telecommunications Seminar |
Udani |
F 1-4 |
Moore 212 |
| ESE 535/001 |
Electronic Design Automation |
DeHon |
MW 12-1:30 |
Towne 307 |
| CIS Core Courses |
| CIT Core Courses |
===========================================================================================
SPRING 2008 CALENDAR
| Wednesday,
January 16 |
Classes
begin. |
| Monday,
January 21 |
Martin Luther
King Jr. Day, no classes |
| Monday,
February 4 |
LAST
DAY TO DROP CLASSES
Last
day to add classes. |
| Saturday,
March 7 through Sunday, March 16 |
Spring break. |
| Tuesday,
April 29 |
Classes
end. |
| Wednesday,
April 30 through Friday, May 2 |
Reading
days. |
| Monday,
May 5 through Tuesday, May 13 |
Finals |
| Sunday,
May 18 |
SEAS Doctoral
& Master's Commencement Ceremonies |
| Monday,
May 19 |
University
Commencement Ceremony |
===========================================================================================
GENERAL
INFORMATION:
Registration
information can be found at www.cis.upenn.edu/grad/registration2
All course listings, schedules, etc., can be found at:
www.upenn.edu/registrar
Click here for recommended Spring 08 courses for CGGT students.
Locations
and descriptions for most classrooms can be linked to at www.isc-cts.upenn.edu/finder/
Info
re: approved non-CIS graduate courses for PhD, MSE, and MCIT
students can be found at
www.cis.upenn.edu/grad/approved-courses.shtml
CIS 899/999 section numbers
are at
www.cis.upenn.edu/~cisgrad/cis899-999
CIS
899/999 Approval Form
CIS MSE and
PHD STUDENTS SHOULD NOT TAKE MCIT COURSES.
Some
course web pages can be found at
www.seas.upenn.edu/cgi-bin/class.cgi
M
- MONDAY/ T - TUESDAY/ W - WEDNESDAY/ R - THURSDAY/ F - FRIDAY
PAYMENT
INFORMATION:
Student
Financial Services: www.sfs.upenn.edu
Billing
information and the billing schedule can be found at www.sfs.upenn.edu/billing/index.htm
A caveat -
tuition & fees are generated by the registration & Penn
starts billing quickly.
===============================================================
NOTES
| Very tentative Summer 2008
CIS grad course schedule
CIS 511/summer session I
CIS 700/Web Technologies/summer session II
CIS 564/Game Design & Development
|
CIS 505: Software Systems
Boon Loo
Course web page at
www.cis.upenn.edu/~boonloo/cis505-sp08
|
CIS 552: Advanced Programming
Benjamin Pierce
Are you a good programmer? Want to be a great one?
Good programmers can take an idea and turn it into code that gets the job done. Great programmers write code that is elegant, efficient, and readable. They design modular structures with reusable components and clean interfaces. They know how to structure large and complex codebases to be
evolvable, resilient to changes in specifications, internally bulletproofed, and self-testing.
This course is focused on programming itself -- not on any particular problem domain (we will be writing programs of many sorts) and not on software engineering (in the classical sense of project management, team organization, or modeling tools like UML). The goals are twofold: (1) to deepen and hone programming skills, and (2) to introduce a range of modern software engineering practices, in particular those embodied in advanced functional programming languages. The course will be taught using one of
OCaml, Haskell, or F# (yet to be decided).
This is a challenging course -- not for the faint of heart! It will move fast, introduce unfamiliar and brain-bending ideas, and involve intensive programming assignments. Participants should come prepared to work!
PREREQUISITES: The formal prerequisites are CSE 121, 240, and 260 (or their equivalents), and one additional course involving significant programming.
TO REGISTER: Class size is limited and registration is by permission of instructor only. If you would like to register, please send an email to bcpierce@cis.upenn.edu so that we can set up an appointment for a briefmeeting. In your email, please briefly describe:
- your prior coursework involving programming (and the grades you
received in these courses),
- your mathematical background (and grades), and
- the piece of software you have worked on (either for a course or
outside) that was most interesting to you.
|
CIS 563: Physically Based Animation
Alla Safonova
Course Description:
Physics-based animation is becoming increasingly popular for producing extremely realistic special effects in movies and for its use in video games and in surgical simulation systems. This course will introduce students to common physically based modeling techniques for animation of virtual
characters, fluids and gases, rigid and deformable solids, cloth, explosions and other systems. To gain hands-on experience, students will implement basic simulators for several systems. The course is appropriate for both upper level undergraduate and graduate students.
List of Topics:
* Simulating Deformable Objects
o Particle Systems
o Mass spring systems
o Deformable Solids & Fracture
o Cloth
o Explosions and Fire
o Smoke
o Fluids
o Deformable active characters
* Simulating Rigid bodies
o Rigid bodies dynamics
o Collision detection and handling
o Controlling rigid bodies simulation
* Simulating Articulated Bodies
o Simulated characters in games
o Optimization for character animation
o Data driven approaches
o Dynamic Response for Games
Prerequisites:
CIS 460/560
CIS 462/562 or instructor's permission
Students should have a good knowledge of C++, OpenGL and basic familiarity with linear algebra and physics
More info at www.cis.upenn.edu/~alla/courses/spring2008/
|
CIS610: Advanced Geometric Methods in Computer Science
Jean Gallier
This Spring 2008, CIS610/Advanced Geometric Methods in Computer Science) will be devoted to background material on manifolds, Lie groups, Lie algebras and Riemannian geometry, with applications primarily to medical imaging (DTI and shape statistics). However, due to the foundational nature
of the material, people interested in computer vision, robotics or machine learning might be interested.
More info at www.cis.upenn.edu/~cis610/home.html |
CIS 630/301 Seminar in Natural Language Processing
Aravind Joshi
We will discuss several aspects of discourse structure-linguistic, formal, and computational.
Part of the seminar will devoted to a review some key papers related to discourse structure. We will then discuss the various linguistic, formal, and computational aspects of the Penn Discourse TreeBank (PDTB)* that has been completed recently. In this corpus, explicit and implicit discourse connectives have been annotated together with their arguments, attributions of the relations denoted by the connectives, attributions of the arguments, together with several features of these attributions, and also the senses of the connectives.
A substantial part of the seminar will be devoted to the exploration of linguistic, formal, and computational aspects of discourse structure based on the PDTB corpus.
The seminar will involve active participation of students in terms of presentations and project work using the PDTB corpus.
A preliminary reading list will be available at the first meeting and the final reading list will be developed very soon after that.
Prerequisites: CIS 530 or equivalent or instructor's permission.
Please contact me at (joshi@seas.upenn.edu) if you have any questions or suggestions.
*This is a corpus of 1 million words (Wall Street Journal) which has been already annotated for syntactic information (Penn TreeBank, PTB) and also for predicate argument information (Propbank).
|
|
ESE 535: Electronic Design Automation
André DeHon
Required Prerequisites:
* digital logic (e.g. at least CIS240 or ESE200);
* programming (at least CIS121 or ESE116); will need to be comfortable writing ~1-3K lines of code and working with a large, existing code base
Helpful background:
* algorithms and computational theory (e.g. CIS320)
* experience with modest software projects (e.g. CIS350)
* further experience with digital logic designs (e.g. CIS371)
* exposure to VLSI (e.g. ESE570)
Description: Formulation, automation, and analysis of design mapping problems with emphasis on VLSI and computational realizations. Major themes include: formulating and abstracting problems, figures of merit (e.g. Energy, Delay, Throughput, Area, Mapping Time), representation, traditional decomposition offlow (logic optimization, covering, scheduling, retiming, assignment, partitioning, placement, routing), and techniques for solving problems (e.g. greedy, dynamic programming, search, (integer) linear programming, graph algorithms, randomization, satisfiability). '
Major themes include:
* Mapping problem for computation to substrate
* Formulating and abstracting mapping problems
* Figures of Merit (Energy, Delay, Throughput, Area, Mapping Time, ...)
* Canonical Representations
* Traditional decomposition pieces (e.g. logic optimization, covering, scheduling, retiming, assignment, partitioning, placement, routing)
* Techniques for attacking problems (e.g. Dynamic Programming, Search, LP/ILP formulation, Graph algorithms (network flow, shortest path, ...),
Randomized (incl. SA, Genetic Prog., ), Greedy, Satisfiability)
More information available at
www.cs.caltech.edu/courses/cs137/2005/fall/Schedule.html
&
www.cs.caltech.edu/courses/cs137/2006/winter/Schedule.html
|
CIS 700/Technology & Policy
Matt Blaze & Jonathan Smith
Have you ever wondered why sharing music and video generates such political and legal controversies? Is information on your PC safe and should law enforcement be able to access information you enter on the Web? Will new devices allow tracking of your every move and every purchase?
This course is focused on developing an understanding of existing and emerging technologies, along with the political, societal and economic impacts of those technologies. The technologies are spread across a number of engineering areas and each of them raise issues that are of current concern or are likely to be a future issue.
For more info send email to jms@cis.upenn.edu or blaze@cis.upenn.edu
|
CIS 700/ Monte Carlo Methods & Nonparametric Bayesian Models
Ben Taskar
More info at http://www.cis.upenn.edu/~taskar/courses/cis700-sp08/
|
mfelker@cis.upenn.edu
|
 |