CIS Homeline
   
Programs
  Doctoral
MSE
CGGT
MCIT
Research
  Seminars and colloquia
People
  Faculty
Staff
Students
Courses
 

Course home pages
Descriptions and prerequisites
Time and room roster
Penn in Touch
Written Preliminary Exam I

 

Fall Course Schedule
Spring Course Schedule
Summer Course Schedule

Application
  Procedures and forms
Funding
Costs
Graduate handbook
Administrative resources
Other resources
  For women
For international students
English language courses
Recent graduates
Penn and Philadelphia
General Resources
arrow Employment

 

CIS Home divider Penn Engineering divider PENN   spacer
 

 
 Spring 2008 Graduate Course Schedule 

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).

MEAM 521: Introduction to Parallel Computing

George Biros

more info at www.seas.upenn.edu/~biros/521/class.html

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


 
 
CIS Home divider Penn Engineering divider PENN   spacer
  Send comments on this page to