Computer and Information Science (CIS)

CIS 099 Undergraduate Research/Independent Study

An opportunity for the student to become closely associated with a professor (1) in a research effort to develop research skills and techniques and/or (2) to develop a program of independent in-depth study in a subject area in which the professor and student have a common interest. The challenge of the task undertaken must be consistent with the student's academic level. To register for this course, the student must submit a detailed proposal, signed by the independent study supervisor, to the SEAS Office of Academic Programs (111 Towne) no later than the end of the "add" period.

One-term course offered either term

Activity: Independent Study

1 Course Unit

Notes: A maximum of 2 c.u. of CIS 099 may be applied toward the B.A.S. or B.S.E. degree requirements.

CIS 105 Computational Data Exploration

The primary goal of this course is to introduce computational methods of interacting with data. In this course, students will be introduced to the IPython programming environment. They will learn how to gather data, store it in appropriate data structures and then either write their own functions or use libraries to analyze and then display the salient information in that data. Data will be drawn from a variety of domains, including but not limited to travel, entertainment, politics, economics, biology etc.

For BA Students: Formal Reasoning and Analysis

One-term course offered either term

Activity: Lecture

1 Course Unit

CIS 106 Visualizing the Past.

Most people's information about the Past is drawn from coffee table picture books, popular movies, video games, documentaries about discoveries of "ancient, mysterious, and lost" civilizations, and tours often lead by guides of limited or even dubious credentials. How are these ideas presented, formed, and circulated? Who creates and selects the information presented in this diverse media? Are these presentations accurate? Do they promote or hurt scientific explanations? Can the artistic, aesthetic, and scientific realms be bridged to effectively promote and interpret the past? How can modern technologies be applied to do a better job at presenting what is difficult to experience firsthand? This class will focus on case studies, c and methods of how archaeology and the past are created, presented and used in movies, museums, games, the internet, and art. Each year, the studio-seminar focuses on a project. In addition to exploring general concepts of archaeology and the media, students will work in teams to produce an interactive, digital media exhibit using the latest modeling visualization programs for presenting the sacred landscape of the Inca capitalof Cuzco, Peru. Cuzco is one of the most important UNESCO World Heritage sites and visited by nearly a million tourists a year. Potential class projectinclude fly-throughs of architectural and landscape renderings, simulations of astronomy and cosmology, modeling of human behavior within architectural and landscape settings, and study artifacts in the Penn Museum.

One-term course offered either term

Also Offered As: ANTH 258

Activity: Lecture

1 Course Unit

CIS 110 Introduction to Computer Programming

Introduction to Computer Programming is the first course in our series introducing students to computer science. In this class you will learn the fundamentals of computer programming in Java, with emphasis on applications in science and engineering. You will also learn about the broader field of computer science and algorithmic thinking, the fundamental approach that computer scientists take to solving problems.

One-term course offered either term

Activity: Lecture

1 Course Unit

Notes: See the CIS 110 website for information about registration in recitations and permission to register for closed sections of CIS 110. Counts as a Formal Reasoning course for College students.

CIS 120 Programming Languages and Techniques I

A fast-paced introduction to the fundamental concepts of programming and software design. This course assumes some previous programming experience, at the level of a high school computer science class or CIS110. (If you got at least 4 in the AP Computer Science A or AB exam, you will do great.) No specific programming language background is assumed: basic experience with any language (for instance Java, C, C++, VB, Python, Perl, or Scheme) is fine. If you have never programmed before, you should take CIS 110 first.

One-term course offered either term

Activity: Lecture

1 Course Unit

Notes: This counts as a Formal Reasoning course for College students.

CIS 121 Programming Languages and Technigues II

This is a course about Algorithms and Data Structures using the JAVA programming language. We introduce the basic concepts about complexity of an algorithm and methods on how to compute the running time of algorithms. Then, we describe data structures like stacks, queues, maps, trees, and graphs, and we construct efficient algorithms based on these representations. The course builds upon existing implementations of basic data structures in JAVA and extends them for the structures like trees, studying the performance of operations on such structures, and theiefficiency when used in real-world applications. A large project introducing students to the challenges of software engineering concludes the course.

Course usually offered in spring term

Prerequisites: CIS 120, CIS 160

Activity: Lecture

1 Course Unit

CIS 125 Technology and Policy

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? CIS 125 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.

Also Offered As: EAS 125

Activity: Lecture

1 Course Unit

CIS 140 Introduction to Cognitive Science

How do minds work? This course surveys a wide range of answers to this question from disciplines ranging from philosophy to neuroscience. The course devotes special attention to the use of simple computational and mathematical models. Topics include perception, learning, memory, decision making, emotion and consciousness.

Course usually offered in fall term

Also Offered As: COGS 001, LING 105, PHIL 044, PPE 140, PSYC 207

Activity: Lecture

1 Course Unit

Notes: This counts as a Formal Reasoning course for College students.

CIS 160 Mathematical Foundations of Computer Science

What are the basic mathematical concepts and techniques needed in computer science? This course provides an introduction to proof principles and logics, functions and relations, induction principles, combinatorics and graph theory, as well as a rigorous grounding in writing and reading mathematical proofs.

Course usually offered in spring term

Corequisite: CIS 120

Activity: Lecture

1 Course Unit

CIS 190 C++ Programming

This course will provide an introduction to programming in C++ and is intended for students who already have some exposure to programming in another language such as Java, C++ provides the programmer with a greater level of control over machine resources and are commonly used in situations where low level access or performance are important. This course will illuminate the issues associated with programming at this level and will cover issues such as explicit memory management, pointers, the compilation process and debugging. The course will involve several programming projects which will provide students with the experience they need to program effectively in these languages. This course assumes programming experience equivalent to CIS 110, CIS 120 or ESE 112.

One-term course offered either term

Prerequisite: CIS 240

Activity: Lecture

0.5 Course Units

CIS 191 Using and Understanding Unix and Linux

Unix, in its many forms, runs much of the world's computer infrastructure, from cable modems and cell phones to the giant clusters that power Google and Amazon. This half-credit course provides a thorough introduction to Unix and Linux. Topics will range from critical basic skills such as examin and editing files, compiling programs and writing shell scripts, to higher level topics such as the architecture of Unix and its programming model. The material learned is applicable to many classes, including CIS 240, CIS 331, CIS 341, CIS 371, and CIS 380.

One-term course offered either term

Prerequisite: CIS 110 or equivalent

Activity: Lecture

0.5 Course Units

CIS 192 Python Programming

Python is an elegant, concise, and powerful language that is useful for tasks large and small. Python has quickly become a popular language for getting things done efficiently in many in all domains: scripting, systems programming, research tools, and web development. This course will provide an introduction to this modern high-level language using hands-on experience through programming assignments and a collaborative final application development project.

One-term course offered either term

Prerequisite: CIS 120 or ESE 112

Activity: Lecture

0.5 Course Units

CIS 193 C# Programming

C# is the premier programming language for the .NET framework. Over the last decade, the language has evolved to meet the needs of a variety of programming styles while supporting the ever-growing capabilities of the the .NET runtime and libraries. This course provides a thorough introduction to the C# language and the .NET framework, building on the skills gained in the introductory programming courses (CIS 110, CIS 120, or ESE 112). In addition to providing the student with a solid background in C#, this course also explores topics that the .NET platform exposes such as object oriented design, .NET runtime internals, and others based on class interest. A series of short, weekly homework assignments reinforces the concepts introduced in class and a group-based final project of the students' design allows them to apply their C# knowledge toward a substantial problem.

One-term course offered either term

Prerequisite: CIS 110

Activity: Lecture

0.5 Course Units

CIS 194 Haskell

Haskell is a high-level, purely functional programming language with a strong static type system and elegant mathematical underpinnings. It is being increasingly used in industry by organizations such as Facebook, AT&T, and NASA, along with several financial firms. We will explore the joys of function programming, using Haskell as a vehicle. The aim of the course will be to allo you to use Haskell to easily and conveniently write practical programs. All ar welcome, including those with no programming experience. Evaluation wil l be based on regular homework assignments and class participation.

One-term course offered either term

Activity: Lecture

0.5 Course Units

CIS 195 IPhone Application Development

This project-oriented course is centered around application development on the iOS platform, Apple's mobile operating system developed for the iPhone and other Apple mobile devices. The first half of the course will involve fundamentals of iPhone development, where students learn the Objective-C programming language for iOS, an object-oriented C dialect with Smalltalk-style messaging, as well as efficient memory management and event-based programming on the iOS platform. In the second half of the course, students work in teams to conceptualize and develop a significant iPhone application. Creativity and originality are highly encouraged.

One-term course offered either term

Prerequisites: CIS 120 and CIS 240. Students should come with a strong understanding of the fundatmentals of programming, especially the C language and memory management.

Activity: Lecture

0.5 Course Units

CIS 196 Ruby on Rails Web Development

This course will teach the fundamentals of developing web applications using Ruby on Rails, a rapid-development web framework developed by 37signals. The topics covered will start with Ruby, the language that powers Rails, and include all topics required to develop and deploy production-ready web applications with Rails. During the entire course, students will be working on a project of their own choosing which will develop as they learn additional concepts. Upon completion of the course this application will be deployed and accessible to the public. Students will be encouraged to continue building their applications even afte r the course given support from the Philadelphia Ruby community.

Activity: Lecture

0.5 Course Units

CIS 197 Javascript

This course provides an introduction to modern web development frameworks, techniques, and practices used to deliver robust client side applications on the web. The emphasis will be on developing JavaScript programs that run in the browser. Topics covered include the JavaScript language, web browser internals, the Document Object Model (DOM), HTML5, client-side app architecture and compile-to-JS languages like (Coffeescript, TypeScript, etc.). This course is most useful for students who have some programming and web development experience and want to develop moderate JavaScript skills to be able to build complex, interactive applications in the browser.

One-term course offered either term

Activity: Lecture

0.5 Course Units

CIS 198 Rust Programming

Rust is a new, practical, community-developed systems programming language that "runs blazingly fast, prevents almost all crashes, and eliminates data ra (rust-lang.org). Rust derives from a rich history of languages to create a multi-paradigm (imperative/functional), low-level language that focuses on high-performance, zero-cost safety guarantee in concurrent programs. It has begun to gain traction in industry even before official 1.0 release in May 2015, showing a recognized need for a new low-level systems language. In this course, we will cover what makes Rust so unique and apply it to practic systems programming problems. Topics covered will include traits and generics; memory safety (move semantics, borrowing, and lifetimes); Rust's rich macro system; closures; and concurrency. Evaluation is based on regular homework assignments as well as a final project and class participation.

One-term course offered either term

Activity: Lecture

0.5 Course Units

CIS 240 Introduction to Computer Systems

You know how to program, but do you know how computers really work? How do millions of transistors come together to form a complete computing system? This bottom-up course begins with transistors and simple computer hardware structures, continues with low-level programming using primitive machine instructions, and finishes with an introduction to the C programming language. This course is a broad introduction to all aspects of computer systems architecture and serves as the foundation for subsequent computer systems courses, such as Digital Systems Organization and Design (CIS 371), Computer Operating Systems (CIS 380), and Compilers and Interpreters (CIS 341).

Course usually offered in fall term

Prerequisite: CIS 110 or equivalent

Activity: Lecture

1 Course Unit

CIS 261 Discrete Probability, Stochastic Processes, and Statistical Inference

The purpose of this course is to provide a 1 CU educational experience which tightly integrates the theory and applications of discrete probability, discrete stochastic processes, and discrete statistical inference in the study of computer science. The intended audience for this class is both those students who are CS majors as well as those intending to be CS majors. Specifically, it will be assumed that the students will know: Set Theory, Mathematical Induction, Number Theory, Functions, Equivalence Relations, Partial-Order Relations, Combinatorics, and Graph Theory at the level currently covered in CIS 160. This course could be taken immediately following CIS 160. Computation and Programming will play an essential role in this course. The students will be expected to use the Maple programming environment in homework exercises which will include: numerical and symbolic computations, simulations, and graphical displays.

Course usually offered in fall term

Prerequisite: CIS 160

Activity: Lecture

1 Course Unit

CIS 262 Automata, Computability, and Complexity

This course explores questions fundamental to computer science such as which problems cannot be solved by computers, can we formalize computing as a mathematical concept without relying upon the specifics of programming languages and computing platforms, and which problems can be solved efficiently. The topics include finite automata and regular languages, context-free grammars and pushdown automata, Turing machines and undecidability, tractability and NP-completeness. The course emphasizes rigorous mathematical reasoning as well as connections to practical computing problems such as test processing, parsing, XML query languages, and program verification.

Course usually offered in fall term

Prerequisite: CIS 160

Activity: Lecture

1 Course Unit

CIS 320 Introduction to Algorithms

How do you optimally encode a text file? How do you find shortest paths in a map? How do you design a communication network? How do you route data in a network? What are the limits of efficient computation? This course gives a comprehensive introduction to design and analysis of algorithms, and answers along the way to these and many other interesting computational questions. You will learn about problem-solving; advanced data structures such as universal hashing and red-black trees; advanced design and analysis techniques such as dynamic programming and amortized analysis; graph algorithms such as minimum spanning trees and network flows; NP-completeness theory; and approximation algorithms.

Course usually offered in spring term

Prerequisites: CIS 120, 121, 160, 262

Activity: Lecture

1 Course Unit

CIS 330 Design Principles of Information Systems

Introduction to database management systems and principles of design. The Entity-Relationship model as a modeling tool. The relational model: formal languages, the industry standard SQL, relational design theory, query optimization. Storing and querying XML data. Recursive queries, Views and data integration. Overview of system level issues: physical data organizaiton, indexing techniques, and transactions. Connecting databases to the Web. Course work requires programming in several different query languages, several written homeworks and a team project.

Course usually offered in fall term

Prerequisites: CIS 121 and CIS 160

Activity: Lecture

1 Course Unit

CIS 334 Advanced Topics in Algorithms

Can you check if two large documents are identical by examining a small number of bits? Can you verify that a program has correctly computed a function without ever computing the function? Can students compute the average score on an exam without ever revealing their scores to each other? Can you be convinced of the correctness of an assertion without ever seeing the proof? The answer to all these questions is in the affirmative provided we allow the use of randomization. Over the past few decades, randomization has emerged as a powerful resource in algorithm desgin. This course would focus on powerful general techniques for designing randomized algorithms as well as specific representative applications in various domains, including approximation algorithms, cryptography and number theory, data structure design, online algorithms, and parallel and distributed computation.

Course not offered every year

Prerequisite: CIS 320

Activity: Lecture

1 Course Unit

CIS 341 Compilers and Interpreters

You know how to program, but do you know how to implement a programming language? In CIS341 you'll learn how to build a compiler. Topics covered include: lexical analysis, grammars and parsing, intermediate representations, syntax-directed translation, code generation, type checking, simple dataflow and control-flow analyses, and optimizations. Along the way, we study objects and inheritance, first-class functions (closures), data representation and runtime-support issues such as garbage collection. This is a challenging, implementation-oriented course in which students build a full compiler from a simple, typed object-oriented language to fully operational x86 assembly. The course projects are implemented using OCaml, but no knowledge of OCaml is assumed.

Course not offered every year

Prerequisites: Two semesters of programming courses, e.g., CIS 120, CIS 121, and CIS 240

Activity: Lecture

1 Course Unit

CIS 350 Software Design/Engineering

You know how to write a "program". But how do you create a software "product" as part of a team, with customers that have expectations of functionality and quality? This course introduces students to various tools (source control, automated build systems, programming environments, test automation, etc.) and processes (design, implementation, testing, and maintenance) that are used by professionals in the field of software engineering. Topics will include: software development lifecycle; agile and test-driven development; source control and continuous integration; requirements analysis; object-oriented design and testability; mobile and/or web application development; software testing; refactoring ; and software quality metrics.

Course not offered every year

Prerequisite: CIS 121

Activity: Lecture

1 Course Unit

CIS 371 Computer Organization and Design

This is the second computer oganization course and focuses on computer hardware design. Topics covered are: (1) basic digital system design including finite state machines, (2) instruction set design and simple RISC assembly programming, (3) quantitative evaluation of computer performance, (4) circuits for integer and floating-point arithmatic, (5) datapath and control, (6) micro-programming, (7) pipeling, (8) storage hierarchy and virtual memory, (9) input/output, (10) different forms of parallelism including instruction level parallelism, data-level parallelism using both vectors and message-passing multi-processors, and thread-level parallelism using shared memory multiprocessors. Basic cache coherence and synchronization.

Course usually offered in spring term

Prerequisite: CIS 240

Activity: Lecture

1 Course Unit

CIS 380 Computer Operating Systems

This course surveys methods and algorithms used in modern operating systems. Concurrent distributed operation is emphasized. The main topics covered are as follows: process synchronization; interprocess communication; concurrent/distributed programming languages; resource allocation and deadlock; virtual memory; protection and security; distributed operation; distributed data; performance evalaution.

Course usually offered in fall term

Prerequisite: CIS 240

Activity: Lecture

1 Course Unit

CIS 390 Robotics: Planning Perception

This introductory course will present basic principles of robotics with an emphasis to computer science aspects. Algorithms for planning and perception will be studied and implemented on actual robots. While planning is a fundamental problem in artificial intelligence and decision making, robot planning refers to finding a path from A to B in the presence of obstacles and by complying with the kinematic constraints of the robot. Perception involves the estimation of the robots motion and path as well as the shape of the environment from sensors. In this course, algorithms will be implemented in Python on mobile platforms on ground and in the air. No prior experience with Python is needed but we require knowledge of data structures, linear algebra, and basic probability.

Course not offered every year

Prerequisites: CIS 121 and MATH 240 or equivalent

Activity: Lecture

1 Course Unit

CIS 398 Quantum Computer and Information Science

The purpose of this course is to introduce undergraduate students in computer computer science and engineering to quantum computers (QC) and quantum information science (QIS). This course is meant primarly for juniors and seniors in Computer Science. No prior knowledge of quantum mechanics (QM) is assumed. Enrollment is by permission of the instructor.

One-term course offered either term

Prerequisites: PHYS 151, MATH 240, MATH 312, MATH 314, CIS 160 and CIS 262

Activity: Lecture

1 Course Unit

CIS 400 Senior Project

Design and implementation of a significant piece of work: software, hardware or theory. In addition, emphasis on technical writing and oral communication skills. Students must have an abstract of their Senior Project, which is approved and signed by a Project Adviser, at the end of the second week of Fall classes. The project continues during two semesters; students must enroll in CIS 401 during the second semester. At the end of the first semester, students are required to submit an intermediate report and give a class presentation describing their project and progress. Grades are based on technical writing skills (as per submitted report), oral presentation skills (as per class presentation) and progress on the project. These are evaluated by the Project Adviser and the Course Instructor.

Course usually offered in fall term

Prerequisite: Senior standing or permission of instructor

Activity: Lecture

1 Course Unit

CIS 401 Senior Project

Continuation of CIS 400. Design and implementation of a significant piece of work: software, hardware or theory. Students are required to submit a final written report and give a final presentation and demonstration of their project. Grades are based on the report, the presentation and the satisfactory completion of the project. These are evaluated by the Project Adviser and the Course Instructor.

Course usually offered in spring term

Prerequisites: CIS 400, senior standing or permission of instructor

Activity: Lecture

1 Course Unit

CIS 419 Introduction to Machine Learning

Machine learning has been essential to the success of many recent technologies, including autonomous vehicles, search engines, genomics, automated medical diagnosis, image recognition, and social network analysis, among many others. This course will introduce the fundamental concepts and algorithms that enable computers to learn from experience, with an emphasis on their practical application to real problems. This course will introduce supervised learning (decision trees, logistic regression, support vector machines, Bayesian methods, neural networks and deep learning), unsupervised learning (clustering, dimensionality reduction), and reinforcement learning. Additionally, the course will discuss evaluation methodology and recent applications of machine learning, including large scale learning for big data and network analysis.

One-term course offered either term

Also Offered As: CIS 519

Activity: Lecture

1 Course Unit

CIS 421 Artificial Integlligence

This course investigates algorithms to implement resource-limited knowledge-based agents which sense and act in the world. Topics include, search, machine learning, probabilistic reasoning, natural language processing, knowledge representation and logic. After a brief introduction to the language, programming assignments wil l be in Python.

Also Offered As: CIS 521

Prerequisites: CIS 121, ESE 301 or STAT 430 recommended

Activity: Lecture

1 Course Unit

CIS 430 Introduction to Human Language Technology

This course is an automatic summarization that can help alleviate the information overload problem caused by the unprecedented amount of online textual information. The building of a summarization system requires good understanding of the properties of human language and the use of various natural language tools. In this course we will build several summarization systems of increasing complexity and sophistication. In the process we will learn about various natural language processing tools and resources such as part of speech tagging, chunking, parsing, Wordnet, and machine learning toolkits. We will also cover probability and statistics concepts used in summarization, but also applicable to a wide range of other language-related tasks.

Course usually offered in fall term

Prerequisite: CIS 121

Activity: Lecture

1 Course Unit

CIS 441 Embedded Software for Life-Critical Applications

The goal of this course is to give students greater design and implementation experience in embedded software development and to teach them how to model, design, verify, and validate safety critical systems in a principled manner. Students will learn the principles, methods, and techniques for building life-critical embedded systems, ranging from requirements and models to design, analysis, optimization, implementation, and validation. Topics will include modeling and analysis methods and tools, real-time programming paradigms and languages, distributed real-time systems, global time, time-triggered communications, assurance case, software architecture, evidence-based certification, testing, verification, and validation. The course will include a series of projects that implements life-critical embedded systems (e.g., pacemaker, infusion pumps, closed-loop medical devices).

One-term course offered either term

Also Offered As: CIS 541

Activity: Lecture

1 Course Unit

CIS 450 Database and Information Systems

This course provides an introduction to the broad field of database and information systems, covering a variety of topics relating to structured data, ranging from data modeling to logical foundations and popular languages, to system implementations. We will study the theory of relational and XML data design; the basics of query languages; efficient storage of data, execution of queries and query optimization; transactions and updates; web-database development; and "big data" and NoSQL systems. The course assumes mathematical and programming experience equivalent to CIS160 and CIS121.

Course usually offered in fall term

Also Offered As: CIS 550

Prerequisites: CIS 121, 160

Activity: Lecture

1 Course Unit

CIS 455 Internet and Web Systems

This course focuses on the challenges encountered in building Internet and web systems: scalability, interoperability (of data and code), security and fault tolerance, consistency models, and location of resources, services, and data. We will examine how XML standards enable information exchange; how web services support cross-platform interoperability (and what their limitations are); how to build high-performance application servers; how "cloud computing" services work; how to perform Akamai-like content distribution; and how to provide transaction support in distributed environments. We will study techniques for locating machines, resources, and data (including directory systems, information retrieval indexing, ranking, and web search); and we will investigate how different architectures support scalability (and the issues they face). We will also examine ideas that have been proposed for tomorrow's Web, and we will see some of the challenges, research directions, and potential pitfalls. An important goal of the course is not simply to discuss issues and solutions, but to provide hands-on experience with a substantial implementation project. This semester's project will be a peer-to-peer implementation of a Googe-style search engine, including distributed, scalable crawling; indexing with ranking; and even PageRank. As a side-effect of the material of this course you will learn about some aspects of large-scale software development assimilating large APIs.

One-term course offered either term

Also Offered As: CIS 555

Prerequisites: Familiarity with threads and concurrency, strong Java programming skills.

Activity: Lecture

1 Course Unit

CIS 460 Interactive Computer Graphics

This course focuses on programming the essential mathematical and geometric concepts underlying modern computer graphics. Using 3D interactive implementations, it covers fundamental topics such as mesh data structures, transformation sequences, rendering algorithms, and curve interpolation for animation. Students are also introduced to two programming languages widely used in the computer graphics industry: C++ and GLSL. The curriculum is heavily project-based, and culminates in a group project focused on building an interactive first-person world exploration application using the various real-time interaction and rendering algorithms learned throughout the semester.

Course usually offered in fall term

Also Offered As: CIS 560

Prerequisites: CIS 120, CIS 121 and CIS 240 are useful pre- or co- requisites

Activity: Lecture

1 Course Unit

CIS 461 Advanced Computer Graphics

This course is designed to provide a comprehensive overview to computer graphics techniques in 3D modeling, image synthesis, and rendering. Topics cover: geometric transformations, geometric algorithms, software systems, 3D object models (surface, volume and implicit), visible surface algorithms, image synthesis, shading, mapping, ray tracing, radiosity, global illumination, sampling, anti- aliasing, Monte Carlo path tracing, and photon mapping.

One-term course offered either term

Also Offered As: CIS 561

Prerequisites: A working knowledge of C++ programming is required (one year programming experience in general). Knowledge of vector geometry is useful.

Activity: Lecture

1 Course Unit

CIS 462 Computer Animation

This course covers core subject matter common to the fields of robotics, character animation and embodied intelligent agents. The intent of the course is to provide the student with a solid technical foundation for developing, animating and controlling articulated systems used in interactive computer game virtual reality simulations and high-end animation applications. The course balances theory with practice by "looking under the hood" of current animation systems and authoring tools and exams the technologies and techniques used from both a computer science and engineering perspective. Topics covered include: geometric coordinate systems and transformations; quaternions; parametric curves and surfaces; forward and inverse kinematics; dynamic systems and control; computer simulation; keyframe, motion capture and procedural animation; behavior-based animation and control; facial animation; smart characters and intelligent agents.

One-term course offered either term

Also Offered As: CIS 562

Prerequisites: Previous exposure to major concepts in linear algebra (i.e. vector matrix math), curves and surfaces, dynamical systems (e.g. 2nd order mass-spring-damper systems) and 3D computer graphics has also been assumed in the preparation of the course materials.

Activity: Lecture

1 Course Unit

CIS 477 Mathematical Methods/Techniques for Linguistics and Natural Language Processing

Basic concepts of set theory, relations and functions, properties of relations. Basic concepts of algebra. Grammars, languages, and automata- finite state grammars, regular expressions, context-free and context-sensitive grammars, unrestricted grammars, finite automata, pushdown automata and other related automata, Turing machines, Syntax and semantics of grammar formalisms. Strong generative capacity of grammars, Grammers as deductive systems, parsing as deduction. Relevance of formal gammars to modeling biological sequences. The course will deal with these topics in a very basic and introductory manner--ideas of proofs and not detailed proofs, and more importantly with plenty of linguistic examples to bring out the linguistic relevance of these topics. The course will deal with these topics in a very basic and introductory manner--ideas of proofs and not detailed proofs, and more importantly with plenty of linguistic examples to bring out the linguistic relevance of these topics.

Course not offered every year

Prerequisite: PHIL 006 or instructor's permission

Activity: Lecture

1 Course Unit

CIS 480 Real-Time and Embedded Systems

Ever increasing availability of inexpensive processors connected by a communication network has motivated the development of numerous concepts and paradigms for distributed real-time embedded systems. The primary objectives of this course are to study the principles and concepts of real-time embedded computing and to provide students hands-on experience in developing embedded applications. This course covers the concepts and theory necessary to understand and program embedded real-time systems. This includes concepts and theory for real-time system design, analysis, and certification; programming and operating systems for embedded systems; and concepts, technologies, and protocols for distributed embedded real-time systems. The course will cover a variety of existing systems and technologies, e.g., real- machines, architectural description anguage, formal meth and logical-time programming paradigms, and certification The course requires active student participation in-group projects. Each group will be responsible for the design and implementation of a life-critical embedded system such as a pacemaker. The group projects are intended to complement the learning of principles and concepts through the application of theory in practice and the development of experimental skills in building embedded applications.

Course not offered every year

Prerequisites: CIS 380, some network programming experience is desirable

Activity: Lecture

1 Course Unit

CIS 482 Logic In Computer Science

Logic has been called the calculus of computer science as it plays a fundamental role in computer science, similar to that played by calculus in the physical sciences and traditional engineerng disciplines. Indeed, logic is useful in areas of computer science as disparate as architecture (logic gates), software engineerng (specification and verification), programming languages (semantics, logic programming), databases (relational algebra and SQL), artificial intelligence (automatic theorem proving), algorithms (complexity and expressiveness), and theory of computation (general notions of computability). CIS 482 provides the students with a thorough introduction to mathematical logic, covering in depth the topics of syntax, semantics, decision procedures, formal proof systems, and soundness and completeness for both propositional and first-order logic. The material is taught froma computer science perspective, with an emphasis on algorithms, computational complexity, and tools. Projects will focus on problems in circuit design, specification and analysis and protocols, and query evaluation in databases.

One-term course offered either term

Also Offered As: CIS 582

Prerequisite: CIS 160

Activity: Lecture

1 Course Unit

CIS 497 DMD Senior Project

The goal of this course is to provide an opportunity for seniors to define, desand execute a project of your own choosing that demonstrates the technical skiland abilities that you have acquired during your 4 years as undergraduates. Evaluation is based on selecting an interesting topic, completing appropriate research on the state of the art in that area, communicating your objectives i writing and in presentations, accurately estimating what resources will be reqto complete your chosen task, coding necessary functionality, and executing your plan.

One-term course offered either term

Prerequisite: Senior Standing or Permission of the Instructor

Activity: Lecture

1 Course Unit

CIS 500 Software Foundations

This course introduces basic concepts and techniques in the foundational study of programming languages. The central theme is the view of programs and programming languages as mathematical objects for which precise claims may be made and proved. Particular topics include operational techniques for formal definition of language features, type systems and type safety properties, polymorphism, constructive logic, and the Coq proof assistant. This course is appropriate as an upper-level undergraduate CIS elective. Undergraduates who have satisfied the prerequisites are welcome to enroll. No permission from the instructor is needed.

One-term course offered either term

Prerequisites: CIS 121, 160, and CIS 262 (or equivalents); plus substantial mathematical maturity (at least two additional undergraduate courses in math or theoretical CS). Undergraduate-level coursework in programming languages, compilers, functional programming, or logic is helpful but not required.

Activity: Lecture

1 Course Unit

CIS 501 Computer Architecture

This course is an introductory graduate course on computer architecture with an emphasis on a quantitative approach to cost/performance design tradeoffs. The course covers the fundamentals of classical and modern uniprocessor design: performance and cost issues, instruction sets, pipelining, superscalar, out-of-order, and speculative execution mechanisms, caches, physical memory, virtual memory, and I/O. Other topics include: static scheduling, VLIW and EPIC, software speculation, long (SIMD) and short (multimedia) vector execution, multithreading, and an introduction to shared memory multiprocessors.

One-term course offered either term

Prerequisites: Knowledge of computer organization and basic programming skills

Activity: Lecture

1 Course Unit

CIS 502 Analysis of Algorithms

An investigation of paradigms for design and analysis of algorithms. The course will include dynamic programming, flows and combinatorial optimization algorithms, linear programming, randomization and a brief introduction to intractability and approximation algorithms. The course will include other advanced topics, time permitting.

One-term course offered either term

Prerequisites: Data Structures and Algorithms at the undergraduate level. Programming experience (CIT 594 or equivalent) is helpful but no necessary.

Activity: Lecture

1 Course Unit

CIS 505 Software Systems

This course provides an introduction to fundamental concepts of distributed systems, and the design principles for building large scale computational systems. Topics covered include communication, concurrency, programming paradigms, naming, managing shared state, caching, synchronization, reaching agreement, fault tolerance, security, middleware, and distributed applications. This course is appropriate as an upper-level undergraduate CIS elective.

One-term course offered either term

Prerequisites: Undergraduate-level knowledge of Operating Systems and Networking, programming experience (CIT 594 or equivalent)

Activity: Lecture

1 Course Unit

CIS 510 Curves and Surfaces: Theory and Applications

The course is about mathematical and algorithmic techniques used for geometric modeling and geometric design, using curves and surfaces. There are many applications in computer graphics as well as in robotics, vision, and computational geometry. Such techniques are used in 2D and 3D drawing and plot, object silhouettes, animating positions, product design (cars, planes, buildings), topographic data, medical imagery, active surfaces of proteins, attribute maps (color, texture, roughness), weather data, art, etc. Three broad classes of problems will be considered: approximating curved shapes, using smooth curves or surfaces. Interpolating curved shapes, using smooth curves or surfaces. Rendering smooth curves or surfaces.

Course not offered every year

Also Offered As: CIS 410

Prerequisites: Basic knowledge of linear algebra, calculus, and elementary geometry. CIS 560 is not required.

Activity: Lecture

1 Course Unit

CIS 511 Theory of Computation

Review of regular and context-free languages and machine models. Turing machines and RAM models, Decidability, Halting problem, Reductions, Recursively enumerable sets, Universal TMs, Church/Turing thesis. Time and space complexity, hierarchy theorems, the complexity classes P, NP, PSPACE, L, NL, and co-NL. Reductions revisited, Cook-Levin Theorem, completeness, NL = co-NL. Advanced topics as time permits: Circuit complexity and parallel computation, randomized complexity, approximability, interaction and cryptography.

One-term course offered either term

Prerequisites: Discrete Mathematics, Automata theory or Algorithms at the undergraduate level.

Activity: Lecture

1 Course Unit

CIS 515 Fundamentals of Linear Algebra and Optimization

This course provides firm foundations in linear algebra and basic optimization techniques. Emphasis is placed on teaching methods and tools that are widely used in various areas of computer science. Both theoretical and algorithmic aspects will be discussed.

One-term course offered either term

Prerequisites: Undergraduate course in linear algebra, calculus

Activity: Lecture

1 Course Unit

CIS 518 Topics in Logic: Finite Model Theory and Descriptive Complexity

This course will examine the expressive power of various logical languages over the class of finite structures. The course begins with an exposition of some of the fundamental theorems about the behavior of first-order logic in the context of finite structures, in particular, the Ehrenfeucht-Fraisse Theorem and the Trahktenbrot Theorem. The first of these results is used to show limitations on the expressive power of first-order logic over finite structures while the second result demonstrates that the problem of reasoning about finite structures using first-order logic is surprisingly complex. The course then proceeds to consider various extensions of first-order logic including fixed-point operators, generalized quantifiers, infinitary languages, and higher-order languages. The expressive power of these extensions will be studied in detail and will be connected to various problems in the theory of computational complexity. This last motif, namely the relation between descriptive and computational complexity, will be one of the main themes of the course.

One-term course offered either term

Also Offered As: MATH 571, PHIL 412

Activity: Seminar

1 Course Unit

CIS 519 Introduction to Machine Learning

Machine learning has been essential to the success of many recent technologies, including autonomous vehicles, search engines, genomics, automated medical diagnosis, image recognition, and social network analysis, among many others. This course will introduce the fundamental concepts and algorithms that enable computers to learn from experience, with an emphasis on their practical application to real problems. This course will introduce supervised learning (decision trees, logistic regression, support vector machines, Bayesian methods, neural networks and deep learning), unsupervised learning (clustering, dimensionality reduction), and reinforcement learning. Additionally, the course will discuss evaluation methodology and recent applications of machine learning, including large scale learning for big data and network analysis.

One-term course offered either term

Also Offered As: CIS 419

Prerequisite: CIS 121 or permission of the instructor

Activity: Lecture

1 Course Unit

CIS 520 Machine Learning

This course covers the foundations of statistical machine learning. The focus is on probabilistic and statistical methods for prediction and clustering in high dimensions. Topics covered include linear and logistic regression, SVMs, PCA and dimensionality reduction, EM and HMMs, and deep learning.

Course usually offered in fall term

Prerequisites: Elementary probability, calculus, and linear algebra. Basic programming experience.

Activity: Lecture

1 Course Unit

CIS 521 Artificial Intelligence

This course investigates algorithms to implement resource-limited knowledge-based agents which sense and act in the world. Topics include, search, machine learning, probabilistic reasoning, natural language processing, knowledge representation and logic. After a brief introduction to the language, programming assignments wil l be in Python.

One-term course offered either term

Also Offered As: CIS 421

Prerequisites: CIS 121, ESE 301 or STAT 430 recommended

Activity: Lecture

1 Course Unit

CIS 526 Machine Translation

Google translate can instantly translate between any pair of over fifty human languages (for instance, from French to English). How does it do that? Why does it make the errors that it does? And how can you build something better? Modern translation systems like Google Translate and Bing Translator learn how to translate by reading millions of words of already translated text, and this course will show you how they work. The course covers a diverse set of fundamental building blocks from linguistics, machine learning, algorithms, data structures , and formal language theory, along with their application to a real and difficult problem in artificial intelligence.

One-term course offered either term

Activity: Lecture

1 Course Unit

CIS 530 Computational Linguistics

Computational approaches to the problem of understanding and producing natural language text and speech, including speech processing, syntactic parsing, semantic interpretation, discourse meaning, and the role of pragmatics and world knowledge. The course will examine both rule-based and corpus-based techniques. It is recommended that students have some knowledge of logic, basic linguistics, and/or programming.

Course usually offered in fall term

Activity: Lecture

1 Course Unit

CIS 535 Introduction to Bioinformatics

The course covers methods used in computational biology, including the statistical models and algorithms used and the biological problems which they address. Students will learn how tools such as BLAST work, and will use them to address real problems. The course will focus on sequence analysis problems such as exon, motif and gene finding, and on comparative methods but will also cover gene expression and proteomics.

Course usually offered in fall term

Also Offered As: BIOL 535, GCB 535

Prerequisites: The course will assume a solid knowledge of modern biology. An advanced undergraduate course such as BIOL 421 or a graduate course in biology such as BIOL 527 (Advanced Molecular Biology and Genetics), BIOL 540 (Genetic Systems, or equivalent, is a prerequisite.

Activity: Lecture

1 Course Unit

CIS 537 Biomedical Image Analysis

This course covers the fundamentals of advanced quantitative image analysis that apply to all of the major and emerging modalities in biological/biomaterials imaging and in vivo biomedical imaging. While traditional image processing techniques will be discussed to provide context, the emphasis will be on cutting edge aspects of all areas of image analysis (including registration, segmentation, and high-dimensional statistical analysis). Significant coverage of state-of-the-art biomedical research and clinical applications will be incorporated to reinforce the theoretical basis of the analysis methods.

One-term course offered either term

Also Offered As: BE 537

Prerequisites: Mathematics through multivariate calculus (MATH 241), programming experience, as well as some familiarity with linear algebra, basic physics, and statistics.

Activity: Lecture

1 Course Unit

CIS 540 Principles of Embedded Computation

This course is focused on principles underlying design and analysis of computational elements that interact with the physical environment. Increasingly, such embedded computers are everywhere, from smart cameras to medical devices to automobiles. While the classical theory of computation focuses on the function that a program computes, to understand embedded computation, we need to focus on the reactive nature of the interaction of a component with its environment via inputs and outputs, the continuous dynamics of the physical world, different ways of communication among components, and requirements concerning safety, timeliness, stability, and performance. Developing tools for approaching design, analysis, and implementation of embedded systems in a principled manner is an active research area. This course will attempt to give students a coherent introduction to this emerging area. This course is appropriate as an upper-level undergraduate CIS elective.

Course usually offered in fall term

Prerequisites: This course assumes mathematical maturity, commensurate with either ESE 210 (Introduction to Dynamical Systems), or CIS 262 (Introduction to Theory of Computation). It is suitable for students who have an undergraduate degree in computer science, or computer engineering, or electrical engineering. It is also suitable for Penn undergraduates in CIS or CE as an upper-level elective.

Activity: Lecture

1 Course Unit

CIS 541 Embedded Software for Life-Critical Applications

The goal of this course is to give students greater design and implementation experience in embedded software development and to teach them how to model, design, verify, and validate safety critical systems in a principled manner. Students will learn the principles, methods, and techniques for building life-critical embedded systems, ranging from requirements and models to design, analysis, optimization, implementation, and validation. Topics will include modeling and analysis methods and tools, real-time programming paradigms and languages, distributed real-time systems, global time, time-triggered communications, assurance case, software architecture, evidence-based certification, testing, verification, and validation. The course will include a series of projects that implements life-critical embedded systems (e.g., pacemaker, infusion pumps, closed-loop medical devices).

One-term course offered either term

Also Offered As: CIS 441

Activity: Lecture

1 Course Unit

CIS 542 Embedded Systems Programming

This course explores techniques for writing correct and efficient embedded code. Topics include C/C++ idioms, data abstraction, elementary data structures and algorithms, environment modeling, concurrency, hard real time, and modular program reasoning.

One-term course offered either term

Prerequisite: C fluency

Activity: Lecture

1 Course Unit

CIS 549 Wireless Mobile Communication

This course covers generations of wireless mobile network standards and systems, basic differences and their evolution, charting the development of mobile telecommunications systems from 3G, to today's state-of-the-art wireless technology 4G LTE, and the next generation wireless technology, 5G.

One-term course offered either term

Prerequisites: ESE 407 or CIS 505, 551 or 553 or permission of the instructor

Activity: Lecture

1 Course Unit

CIS 550 Database and Information Systems

This course provides an introduction to the broad field of database and information systems, covering a variety of topics relating to structured data, ranging from data modeling to logical foundations and popular languages, to system implementations. We will study the theory of relational and XML data design; the basics of query languages; efficient storage of data, execution of queries and query optimization; transactions and updates; web-database development; and "big data" and NoSQL systems. The course assumes mathematical and programming experience equivalent to CIS160 and CIS121

Course usually offered in fall term

Also Offered As: CIS 450

Prerequisites: CIS 121, 160

Activity: Lecture

1 Course Unit

CIS 551 Computer and Network Security.

This is an introduction to topics in the security of computer systems and communication on networks of computers. The course covers four major areas: fundamentals of cryptography, security for communication protocols, security for operating systems and mobile programs, and security for electronic commerce. Sample specific topics include: passwords and offline attacks, DES, RSA, DSA, SHA, SSL, CBC, IPSec, SET, DDoS attacks, biometric authentication, PKI, smart cards, S/MIME, privacy on the Web, viruses, security models, wireless security, and sandboxing. Students will be expected to display knowledge of both theory and practice through written examinations and programming assignments.

Course usually offered in spring term

Prerequisites: CIS 553 or equivalent is required; CIS 500 recommended.

Activity: Lecture

1 Course Unit

CIS 552 Advanced Programming

The goals of this course are twofold: (1) to take good programmers and turn them into excellent ones, and (2) to introduce them to a range of modern software engineering practices, in particular those embodied in advanced functional programming languages.

One-term course offered either term

Prerequisites: Four courses involving significant programming and a discrete mathematics or modern algebra course. Enrollment by permission of the instructor only.

Activity: Lecture

1 Course Unit

CIS 553 Networked Systems

This course provides an introduction to fundamental concepts in the design and implementation of networked systems, their protocols, and applications. Topics to be covered include: Internet architecture, network applications, addressing, routing, transport protocols, network security, and peer-to-peer networks. The course will involve written assignments, examinations, and programming assignments.. Students will work in teams to design and implement networked systems in layers, from routing protocols, transport protocols, to peer-to-peer networks.

One-term course offered either term

Prerequisites: CIS 121 or equivalent, or permission of the instructor

Activity: Lecture

1 Course Unit

CIS 554 Programming Paradigms

Achieving mastery in a new programming language requires more than just learning a new syntax; rather, different languages support different ways to think about solving problems. Not all programming languages are inherently procedural or object-oriented. The intent of this course is to provide a basic understanding of a wide variety of programming paradigms, such as logic programming, functional programming, concurrent programming, rule-based programming, and others.

One-term course offered either term

Prerequisite: CIS 121 or CIT 594 or equivalent

Activity: Lecture

1 Course Unit

CIS 555 Internet and Web Systems

This course focuses on the challenges encountered in building Internet and web systems: scalability, interoperability (of data and code), security and fault tolerance, consistency models, and location of resources, services, and data. We will examine how XML standards enable information exchange; how web services support cross-platform interoperability (and what their limitations are); how to build high-performance application servers; how "cloud computing" services work; how to perform Akamai-like content distribution; and how to provide transaction support in distributed environments. We will study techniques for locating machines, resources, and data (including directory systems, information retrieval indexing, ranking, and web search); and we will investigate how different architectures support scalability (and the issues they face). We will also examine ideas that have been proposed for tomorrow's Web, and we will see some of the challenges, research directions, and potential pitfalls. An important goal of the course is not simply to discuss issues and solutions, but to provide hands-on experience with a substantial implementation project. This semester's project will be a peer-to-peer implementation of a Googe-style search engine, including distributed, scalable crawling; indexing with ranking; and even PageRank. As a side-effect of the material of this course you will learn about some aspects of large-scale software development assimilating large APIs, thinking about modularity, reading other people's code, managing versions, debugging, etc.

One-term course offered either term

Also Offered As: CIS 455

Prerequisites: Familiarity with threads and concurrency, strong Java programming skills.

Activity: Lecture

1 Course Unit

CIS 556 Cryptography

This course is a graduate-level introduction to cryptography, both theory and applications. Topics covered include symmetric cryptography, message authentication, public-key cryptography, digital signatures, cryptanalysis, cryptographic security, and secure channels, as well as a selection of more advanced topics such as zero-knowledge proofs, secure multiparty computation, privacy-enhancing technologies, or lattice-based cryptography.

One-term course offered either term

Prerequisites: CIS 262, 320 or equivalent

Activity: Lecture

1 Course Unit

CIS 557 Programming for the Web

This course will focus on web programming. The first half will focus on the basics of the internet and the Web, HTML and CSS, and basic and advanced Ruby. The second half will focus on Rails. Teams (of size 2-3) will build a web application in the second half of the semester as the class project. Through Rails, we'll ex;ore the "culture" of web programming such as agile methodology, testing, key aspects of software engineering, using web services and APIs, and deploying to the cloud.

Prerequisites: CIS 121, CIT 594, or equivalent, or permission of the instructor

Activity: Lecture

1 Course Unit

CIS 558 Computer Analysis and Modeling of Biological Signals and Systems

A graduate course intended to introduce the use of signal and image processing tools for analyzing and modeling biological systems. We present a series of fundamental examples drawn from areas of speech analysis/synthesis, computer vision, and modeling of biological perceptual systems. Students learn the material through lectures and via a set of computer exercises developed in MATLAB.

Course usually offered in spring term

Also Offered As: LING 525

Prerequisite: Undergraduate-level knowledge of linear algebra

Activity: Lecture

1 Course Unit

CIS 559 Programming and Problem Solving

This course develops students problem solving skills using techniques that they have learned during their CS training. Over the course of the semester, students work on group projects in which they use programming techniques to solve open-ended problems, e.g. optimization, simulation, etc. There are no "correct" answers to these problems; rather, the focus is on the four steps of the problem solving process: algorithmic thinking; programming; analysis; and communication.

One-term course offered either term

Prerequisites: Proficiency in Java. CIS 320 or CIS 502, or equivalent

Activity: Lecture

1 Course Unit

CIS 560 Interactive Computer Graphics

This course focuses on programming the essential mathematical and geometric concepts underlying modern computer graphics. Using 3D interactive implementations, it covers fundamental topics such as mesh data structures, transformation sequences, rendering algorithms, and curve interpolation for animation. Students are also introduced to two programming languages widely used in the computer graphics industry: C++ and GLSL. The curriculum is heavily project-based, and culminates in a group project focused on building an interactive first-person world exploration application using the various real-time interaction and rendering algorithms learned throughout the semester.

Course usually offered in fall term

Also Offered As: CIS 460

Prerequisites: CIS 120 (CIS 120 and CIS 240 are useful pre- or co-requisites)

Activity: Lecture

1 Course Unit

CIS 561 Advanced Computer Graphics

This course is designed to provide a comprehensive overview to computer graphics techniques in 3D modeling, image synthesis, and rendering. Topics cover: geometric transformations, geometric algorithms, software systems, 3D object models (surface, volume and implicit), visible surface algorithms, image synthesis, shading, mapping, ray tracing, radiosity, global illumination, sampling, anti- aliasing, Monte Carlo path tracing, and photon mapping.

One-term course offered either term

Also Offered As: CIS 461

Prerequisites: A working knowledge of C++ programing is required (one year programming experience in general). Knowledge of vector geometry is usefl.

Activity: Lecture

1 Course Unit

CIS 562 Computer Animation

This course covers core subject matter common to the fields of robotics, character animation and embodied intelligent agents. The intent of the course is to provide the student with a solid technical foundation for developing, animating and controlling articulated systems used in interactive computer games, virtual reality simulations and high-end animation applications. The course balances theory with practice by "looking under the hood" of current animation systems and authoring tools and exams the technologies and techniques used from both a computer science and engineering perspective. Topics covered include: geometric coordinate systems and transformations; quaternions; parametric curves and surfaces; forward and inverse kinematics; dynamic systems and control; computer simulation; keyframe, motion capture and procedural animation; behavior-based animation and control; facial animation; smart characters and intelligent agents.

One-term course offered either term

Also Offered As: CIS 462

Prerequisites: Previous exposure to major concepts in linear algebra (i.e. vector matrix math), curves and surfaces, dynamical systems (e.g. 2nd order mass-spring-damper systems) and 3D computer graphics has also been assumed in the preparation of the course materials.

Activity: Lecture

1 Course Unit

CIS 563 Physically Based Animation

This course introduces students to common physically based simulation techniques for animation of fluids and gases, rigid and deformable solids, cloth, explosions, fire, smoke, virtual characters, and other systems. Physically based simulation techniques allow for creation of extremely realistic special effects for movies, video games and surgical simulation systems. We will learn state-of-the-art techniques that are commonly used in current special effects and animation studios and in video games community. To gain hands-on experience, students will implement basic simulators for several systems. The topics will include: Particle Systems, Mass spring systems, Deformable Solids & Fracture, Cloth, Explosions & Fire, Smoke, Fluids, Deformable active characters, Simulation and control of rigid bodies, Rigid body dynamics, Collision detection and handling, Simulation of articulated characters, Simulated characters in games. The course is appropriate for both upper level undergraduate and graduate students.

One-term course offered either term

Prerequisites: Students should have a good knowledge of object-oriented programming (C++) and basic familiarity with linear algebra and physics. Background in computer graphics is required (CIS 461 or CIS 561).

Activity: Lecture

1 Course Unit

CIS 564 Game Design and Development

The intent of the course is to provide students with a solid theoretical understanding of the core creative principles, concepts, and game play structures/schemas underlying most game designs. The course also will examine game development from an engineering point of view, including: game play mechanics, game engine software and hardware architectures, user interfaces, design documents, playtesting and production methods.

One-term course offered either term

Prerequisites: Basic understanding of 3D graphics and animation principles, prior exposure to scripting and programming languages such as Python, C and C++

Activity: Lecture

1 Course Unit

CIS 565 GPU Programming and Architecture

This course examines the architecture and capabilities of modern GPUs. The graphics processing unit (GPU) has grown in power over recent years, to the point where many computations can be performed faster on the GPU than on a traditional CPU. GPUs have also become programmable, allowing them to be used for a diverse set of applications far removed from traditional graphics settings. Topics covered include architectural aspects of modern GPUs, with a special focus on their streaming parallel nature, writing programs on the GPU using high level languages like Cg and BrookGPU, and using the GPU for graphics and general purpose applications in the area of geometry modeling, physical simulation, scientific computing and games. Students are expected to have a basic understanding of computer architecture and graphics, and should be proficient in OpenGL and C/C++. This course is appropriate as an upper-level undergraduate CIS elective.

One-term course offered either term

Prerequisites: CIS 460 or CIS 560, and familiarity with computer hardware/systems. The hardware/systems requirement may be met by CIS 501; or CIT 593 and 595; or CIS 240 (with CIS 371 recommended); or equivalent coursework.

Activity: Lecture

1 Course Unit

CIS 568 Game Design Practicum

The objective of the game design practicum is to provide students with hands on experience designing and developing 3D computer games. Working in teams of three or four, students will brainstorm an original game concept, write a formal game design document then develop a fully functional prototype consisting of a playable level of the game. In addition to creation of original art and animation assets for the game, technical features to be designed and implemented include a nove l game mechanic and/or user interaction model, game physics (i.e. particle systems and rigid body dynamics), character animation, game AI (i.e. movement control, path planning, decision making, etc.), sound effects and effects and background music, 2D graphical user interface (GUI) design and optional multiplayer networking capabilities. Consistent with standard industry practices, game code and logic will be written using C++ and popular scripting languages such as Python and Lua. State-of-the-art game and physics engine middleware also will be used to expose students to commercial-grade software, production methodologies and art asset pipelines. As a result of their game development efforts, students will learn first hand about the creative process, design documentation, object-oriented software design and engineering, project management (including effective team collaboration and communication techniques), design iteration through user feedback and play-testing, and most importantly, what makes a game fun to play.

One-term course offered either term

Prerequisites: CIS 462/CIS 562, 562, CIS 461/CIS 562, or CIS 460/CIS 560

Corequisite: CIS 564

Activity: Lecture

1 Course Unit

CIS 570 Modern Programming Language Implementation

This course is a broad introduction to advanced issues in compilers and run-time systems for several classes of programming languages, including imperative, object-oriented, and functional. Particular attention is paid to the structures, analyses, and transformations used in program optimization.

Course not offered every year

Prerequisites: CIS 500. An undergraduate course in compiler construction (CIS 341 or equivalent) is helpful but not required.

Activity: Lecture

1 Course Unit

CIS 571 Recursion Theory

The course covers the basic theory of recursive and recursively enumerable sets and the connection between this theory and a variety of decision problems of interest in a computational setting. The course will then proceed to an exposition of recursion theoretic reducibilities. Elementary results about degrees of unsolvability are established. The theory of arithmetical, analytical, and projective hierarchies will be presented. The study of functionals at this point will provide an entry into the computationally important subject of recursion at higher types. Basic parts of the theory of inductive definitions and monotone operators will be presented. If time and interest permit, this theory will be applied to the analysis of the semantical paradoxes. The course will conclude with an investigation of the lower levels of the analytical and projective hierarchies. Applications to the degrees of unsolvability of various logical systems will be presented, connections between the hierarchies and predicative formal systems will be established, and the relation between the theory of the projective hierarchy and topics in classical descriptive set theory will be indicated.

Course usually offered in fall term

Activity: Lecture

1 Course Unit

CIS 572 Set Theory

This course is an introduction to set theory. It will begin with a study of Zermelo-Fraenkel set theory (ZF) as a partial description of the cumulative hierarchy of sets. Elementary properties of cardinal and ordinal numbers will be developed in ZF. The inner model of constructible sets will be used to establish the relative consistency of the axiom of choice and the generalized continuum hypothesis with ZF. The method of forcing will be introduced to establish the independence of the continuum hypothesis from ZF and other independence results. Large cardinals and their bearing on the resolution of questions about the continuum will be considered.

One-term course offered either term

Activity: Seminar

1 Course Unit

CIS 573 Software Engineering

Writing a "program" is easy. Developing a "software product", however, introduces numerous challenges that make it a much more difficult task. This course will look at how professional software engineers address those challenges, by investigating best practices from industry and emerging trends in software engineering research. Topics will focus on software maintenance issues, including: test case generation and test suite adequacy; code analysis verification and model checking; debugging and fault localization; refactoring and regression testing; and software design and quality.

Course usually offered in fall term

Prerequisites: CIT 594 or CIS 350, or equivalent; proficiency in Java

Activity: Lecture

1 Course Unit

CIS 580 Machine Perception

An introduction to the problems of computer vision and other forms of machine perception that can be solved using geometrical approaches rather than statistical methods. Emphasis will be placed on both analytical and computational techniques. This course is designed to provide students with an exposure to the fundamental mathematical and algorithmic techniques that are used to tackle challenging image based modeling problems. The subject matter of this course finds application in the fields of Computer Vision, Computer Graphics and Robotics. Some of the topics to be covered include: Projective Geometry, Camera Calibration, Image Formation, Projective, Affine and Euclidean Transformations, Computational Stereopsis, and the recovery of 3D structure from multiple 2D images. This course will also explore various approaches to object recognition that make use of geometric techniques, these would include alignment based methods and techniques that exploit geometric invariants. In the assignments for this course, students will be able to apply the techniques to actual computer vision problems. This course is appropriate as an upper-level undergraduate CIS elective.

Course usually offered in fall term

Prerequisites: A solid grasp of the fundamentals of linear algebra. Some knowledge of programming in C and/or Matlab

Activity: Lecture

1 Course Unit

CIS 581 Computer Vision & Computational Photography

This is an introductory course to Computer Vision and Computational Photography. This course will explore three topics: 1) image morphing, 2) image matching and stitching, and 3) image recognition. This course is intended to provide a hands-on experience with interesting things to do on images/videos. The world is becoming image-centric. Cameras are now found everywhere, in our cell phones, automobiles, even in medical surgery tools. Computer vision technology has led to latest innovations in areas such as Hollywood movie production, medical diagnosis, biometrics, and digital library. This course is suited for students from all Engineering backgrounds, who have the basic knowledge of linear algebra and programming, and a lot of imagination.

Course not offered every year

Activity: Lecture

1 Course Unit

CIS 582 Logic in Computer Science

Logic has been called the calculus of computer science as it plays a fundamental role in computer science, similar to that played by calculus in the physical sciences and traditional engineering disciplines. Indeed, logic is useful in areas of computer science as disparate as architecture (logic gates), software engineering (specification and verification), programming languages (semantics, logic programming), databases (relational algebra and SQL), artificial intelligence (automatic theorem proving), algorithms (complexity and expressiveness), and theory of computation (general notions of computability). CIS 582 provides students with a thorough introduction to mathematical logic, covering in depth the topics of syntax, semantics, decision procedures, formal proof systems, and soundness and completeness for both propositional and first-order logic. The material is taught from a computer science perspective, with an emphasis on algorithms , computational complexity, and tools. Projects will focus on problems in circuit design, specification and analysis of protocols, and query evaluation in databases.

One-term course offered either term

Also Offered As: CIS 482

Prerequisite: CIS 160 or CIT 592 or equivalent

Activity: Lecture

1 Course Unit

CIS 597 Master's Thesis Research

For students working on an advanced research leading to the completion of a Master's thesis.

One-term course offered either term

Activity: Masters Thesis

1 Course Unit

CIS 599 Independent Study for Masters Students

For master's students studying a specific advanced subject area in computer and information science. Involves coursework and class presentations. A CIS 599 course unit will invariably include formally gradable work comparable to that in a CIS 500-level course. Students should discuss with the faculty supervisor the scope of the Independent Study, expectations, work involved, etc.

One-term course offered either term

Activity: Independent Study

1 Course Unit

CIS 601 Advanced Topics in Computer Architecture

This course will focus on research topics in computer architecture, and include reading and presenting research papers and an optional project. The content will differ with each offering, covering topics such as multicore programmability, datacenter and warehouse-scale computing, security, energy-efficient architectures, etc.

One-term course offered either term

Prerequisite: CIS 501 or strong performance in CIS 371

Activity: Lecture

1 Course Unit

CIS 610 Advanced Geometric Methods in Computer Science

The purpose of this course is to present some of the advanced geometric methods used in geometric modeling, computer graphics, computer vision, etc. The topics may vary from year to year, and will be selected among the following subjects (nonexhaustive list): Introduction to projective geometry with applications to rational curves and surfaces, control points for rational curves, rectangular and triangular rational patches, drawing closed rational curves and surfaces; Differential geometry of curves (curvature, torsion, osculating planes, the Frenet frame, osculating circles, osculating spheres); Differential geometry of surfaces (first fundamental form, normal curvature, second fundamental form, geodesic curvature, Christoffel symbols, principal curvatures, Gaussian curvature, mean curvature, the Gauss map and its derivative dN, the Dupin indicatrix, the Theorema Egregium equations of Codazzi-Mainadi, Bonnet's theorem, lines of curvatures, geodesic torsion, asymptotic lines, geodesic lines, local Gauss-Bonnet theorem).

Course usually offered in spring term

Also Offered As: MATH 676

Prerequisite: CIS 510 or coverage of equivalent material

Activity: Lecture

1 Course Unit

CIS 613 Nonlinear Control Theory

The course studies issues in nonlinear control theory, with a particular emphasis on the use of geometric principles. Topics include: controllability, accessibility, and observability, for nonlinear systems; Forbenius' theorem; feedback and input/outpub linearization for SISO and MIMO systems; dynamic extension; zero dynamics; output tracking and regulation; model matching disturbance decoupling; examples will be taken from mechanical systems, robotic systems, including those involving nonholonomic constraints, and active control of vibrations.

Course not offered every year

Also Offered As: ESE 617, MEAM 613

Prerequisites: A sufficient background to linear algebra (ENM 510,511 or equivalent) and a course in linear control theory (MEAM 513 or equivalent), or written permission of the instructor.

Activity: Lecture

1 Course Unit

CIS 620 Advanced Topics in Artificial Intelligence

Discussion of problems and techniques in Artificial Intelligence (AI): Knowledge Representation, Natural Language Processing, Constraint Systems, Machine Learning; Applications of AI.

Course usually offered in spring term

Prerequisite: CIS 520 or equivalent

Activity: Seminar

1 Course Unit

CIS 625 Computational Learning Theory

This course is an introduction to Computational Learning Theory, a field which attempts to provide algorithmic, complexity-theoretic and statistical foundations to modern machine learning. The focus is on opics in computational learning theory for researchers and students in artificial intelligence, neural networks, theoretical computer science, and statistics.

One-term course offered either term

Prerequisites: Prior courses in algorithms, complexity and statistics would be helpful but are not necessary.

Activity: Seminar

1 Course Unit

CIS 630 Advanced Topics in Natural Language Processing

Different topics selected each offering; e.g., NL generation, question-answering, information extraction, machine translation, restricted grammar formalisms, computational lexical semantics, etc.

One-term course offered either term

Prerequisite: CIS 530 or equivalent or permission of instructor

Activity: Seminar

1 Course Unit

CIS 635 Advanced Computational Biology

Discussion of special research topics.

Course usually offered in fall term

Also Offered As: BIOL 537, GCB 537

Prerequisite: Biol 536 or permission of the instructor

Activity: Seminar

1 Course Unit

CIS 639 Statistical approaches to Natural Language Understanding

This course examines the recent development of corpus-based techniques in natural language processing, focusing on both statistical and primarily symbolic learning techniques. Particular topics vary from year to year.

One-term course offered either term

Activity: Seminar

1 Course Unit

CIS 640 Advanced Topics in Software Systems

Different topics selected for each course offering.

Course usually offered in spring term

Prerequisite: CIS 505 or equivalent

Activity: Seminar

1 Course Unit

CIS 650 Advanced Topics in Databases

Advanced topics in databases: distributed databases, integrity constraints, failure, concurrency control, relevant relational theory, semantics of data models, the interface between programming of languages and databases. Object-oriented databases. New topics are discussed each year.

Course usually offered in spring term

Prerequisite: CIS 550

Activity: Seminar

1 Course Unit

CIS 660 Advanced Topics in Computer Graphics and Animation

The goal of the course is to review state-of-the art research in the fields of computer graphics and animation as well as provide students with working knowledge of how to convert theory to practice by developing an associated graphics/animation authoring tool. The course is comprised of primers, lectures, student presentations and the authoring tool group project. Each student will be responsible for presenting one primer and at least two SIGGRAPH papers to the class. Working in teams of two, students will design and develop an authoring tool that that facilitates the creation of a new type of user interaction, animation/simulation capability or 3D graphics special effect. Research papers published in the SigGraph Conference proceedings will provide the basis for the features/functionality/special effects that can be selected for implementation in the authoring tool. Each group will analyze the need and user requirements for the tool they plan to develop, prepare a formal software design document, construct a project work plan, develop the authoring tool functionality and user interface, test the design and demonstratthe authoring of associated content. A plug-in to standard authoring tools such as Maya or Houdini must also be developed to enable importing of appropriate assets and/or exporting of results.

Course usually offered in spring term

Prerequisite: CIS 560 or permission of the instructor

Activity: Seminar

1 Course Unit

CIS 670 Advanced Topics in Programming Languages

The details of this course change from year to year, but its purpose is to cover theoretical topics related to programming languages. Some central topics include: denotational vs operational semantics, domain theory and category theory, the lambda calculus, type theory (including recursive types, generics, type inference and modules), logics of programs and associated completeness and decidability problems, specification languages, and models of concurrency. The course requires a degree of mathematical sophistication.

One-term course offered either term

Prerequisite: CIS 500

Activity: Seminar

1 Course Unit

CIS 673 Computer-Aided Verification

This course introduces the theory and practice of formal methods for the design and analysis of concurrent and embedded systems. The emphasis is on the underlying logical and automata-theoretic concepts, the algorithmic solutions, and heuristics to cope with the high computational complexity. Topics: Models and semantics of reactive systems; Verification algorithms; Verification techniques. Topics may vary depending on instructor.

One-term course offered either term

Prerequisites: Basic knowledge of algorithms, data structures, automata theory, propositional logic, operating systems, communication protocols, and hardware (CIS 262, CIS 380, or permission of the instructor).

Activity: Lecture

1 Course Unit

CIS 677 Advanced Topics in Algorithms and Complexity

This course covers various aspects of discrete algorithms. Graph-theoretic algorithms in computational biology, and randomization and computation; literature in dynamic graph algorithms, approximation algorithms, and other areas according to student interests.

Course usually offered in fall term

Prerequisite: Consent of the instructor

Activity: Lecture

1 Course Unit

CIS 680 Advanced Topics in Machine Perception

Graduate seminar in advanced work on machine perception as it applies to robots as well as to the modeling of human perception. Topics vary with each offering.

Course usually offered in spring term

Prerequisites: A previous course in machine perception or knowledge of image processing, experience with an operating system and language such as Unix and C, and aptitude for mathematics.

Activity: Seminar

1 Course Unit

CIS 682 Friendly Logics

The use of logical formalisms in Computer Science is dominated by a fundamental conflict: expressiveness vs. algorithmic tractability. Database constraint logics, temporal logics and description logics are successful compromises in this conflict: (1) they are expressive enough for practical specifications in certain areas, and (2) there exist interesting algorithms for the automated use of these specifications. Interesting connections can be made between these logics because temporal and description logics are modal logics, which in turn can be seen, as can database constraint logics, as certain fragments of first-order logic. These connections might benefit research in databases, computer-aided verification and AI. Discussion includes other interesting connections, eg., with SLD-resolution, with constraint satisfaction problems, with finite model theory and with automata theory.

One-term course offered either term

Activity: Lecture

1 Course Unit

CIS 700 Special Topics

One time course offerings of special interest. Equivalent to a CIS 5XX level course.

Course not offered every year

Activity: Lecture

1 Course Unit

CIS 800 PhD Special Topics

One-time course offerings of special interest. Equivalent to CIS seminar course. Offerings to be determined.

One-term course offered either term

Activity: Lecture

1 Course Unit

CIS 895 Teaching Practicum

Enrollment for students participating in Teaching Practicum.

One-term course offered either term

Activity: Lecture

1 Course Unit

CIS 899 Doctoral Independent Study

For doctoral students studying a specific advanced subject area in computer and information science. The Independen t Study may involve coursework, presentations, and formally gradable work comparable to that in a CIS 500 or 600 level course. The Independent Study may also be used by doctoral students to explore research options with faculty, prior to determining a thesis topic. Students should discuss with the faculty supervisor the scope of the Independent Study, expectations, work involved, etc. The Independent Study should not be used for ongoing research towards a thesis, for which the CIS 999 designation should be used.

One-term course offered either term

Activity: Independent Study

1 Course Unit

CIS 990 Masters Thesis

For master's students who have taken ten course units and need only to complete the writing of a thesis or finish work for incompletes in order to graduate. CIS 990 carries full time status with zero course units and may be taken only once.

Activity: Masters Thesis

1 Course Unit

CIS 995 Dissertation

For Ph.D. candidates working exclusively on their dissertation research, having completed enrollment for a total of ten semesters (fall and spring). There is no credit or grade for CIS 995.

Activity: Dissertation

1 Course Unit

CIS 996 Research Seminar

Introduction to research being conducted in the department. Mandatory for firstyear doctoral students. Taken as fifth course for no credit at no cost.

One-term course offered either term

Activity: Lecture

1 Course Unit

CIS 999 Thesis/Dissertation Research

For students pursuing advanced research to fulfill PhD dissertation requirements.

One-term course offered either term

Activity: Independent Study

1 Course Unit