Computer Science (CS)Engineering

Showing 89 results.

Course descriptions provided by the Courses of Study 2019-2020.

CS 1110

Programming and problem solving using Python. Emphasizes principles of software development, style, and testing. Topics include procedures and functions, iteration, recusion, arrays and vectors, strings, ... view course details

View Enrollment Information

Syllabi: none
  •   Regular Academic Session.  Choose one lecture and one discussion.

  • 4 Credits GradeNoAud

  • 10791 CS 1110   LEC 001

  • 10792 CS 1110   LEC 002

  • 10793 CS 1110   DIS 201

  • 10794 CS 1110   DIS 202

  • 10795 CS 1110   DIS 203

  • 10796 CS 1110   DIS 204

  • 10797 CS 1110   DIS 205

    • W
    • White, W

  • 10798 CS 1110   DIS 206

  • 10799 CS 1110   DIS 207

  • 10800 CS 1110   DIS 208

  • 11623 CS 1110   DIS 209

  • 11624 CS 1110   DIS 210

  • 11625 CS 1110   DIS 211

  • 11781 CS 1110   DIS 212

  • 11782 CS 1110   DIS 213

  • 11934 CS 1110   DIS 214

  • 11935 CS 1110   DIS 215

  • 11936 CS 1110   DIS 216

  • 12643 CS 1110   DIS 217

  • 12644 CS 1110   DIS 218

  • 12645 CS 1110   DIS 219

  • 12646 CS 1110   DIS 220

CS 1112

Programming and problem solving using MATLAB. Emphasizes the systematic development of algorithms and programs. Topics include iteration, functions, arrays, recursion, object-oriented programming, and ... view course details

View Enrollment Information

Syllabi: none
  •   Regular Academic Session.  Choose one lecture and one discussion.

  • 4 Credits Stdnt Opt

  • 10778 CS 1112   LEC 001

  • 10779 CS 1112   LEC 002

  • 10780 CS 1112   DIS 201

  • 10781 CS 1112   DIS 202

  • 10782 CS 1112   DIS 203

  • 11280 CS 1112   DIS 204

  • 10783 CS 1112   DIS 205

  • 10784 CS 1112   DIS 206

  • 10785 CS 1112   DIS 207

  • 11281 CS 1112   DIS 208

  • 10786 CS 1112   DIS 209

  • 10787 CS 1112   DIS 210

CS 1132

Introduction to the MATLAB programming language. Covers the basic programming constructs of MATLAB, including assignment, conditionals, iteration, functions, arrays, vectorized computation, and scientific ... view course details

View Enrollment Information

Syllabi: none
  •   Regular Academic Session.  Choose one lecture and one laboratory.

  • 2 Credits Sat/Unsat

  • 11269 CS 1132   LEC 001

    • MW Hollister Hall 110
    • Aug 29 - Oct 22, 2019
    • Fan, K

      Muhlberger, C

  • 7-week lecture-based course only in fall; 10-week auto-tutorial course only in spring.

  • 11567 CS 1132   LAB 401

    • F Upson Hall 225
    • Aug 29 - Oct 22, 2019
    • Fan, K

      Muhlberger, C

CS 1133

Introduction to the Python programming language. Covers the basic programming constructs of Python, including assignment, conditionals, iteration, functions, object-oriented design, arrays, and vectorized ... view course details

View Enrollment Information

Syllabi: none
  •   Seven Week - First. 

  • 2 Credits Sat/Unsat

  • 11659 CS 1133   LEC 001

    • MWF Upson Hall 142
    • Aug 29 - Oct 18, 2019
    • Frey, C

CS 1300

The World Wide Web is both a technology and a pervasive and powerful resource in our society and culture. To build functional and effective web sites, students need technical and design skills as well ... view course details

View Enrollment Information

Syllabi:
  •   Regular Academic Session.  Choose one lecture and one discussion. Combined with: INFO 1300

  • 3 Credits Stdnt Opt

  • 11175 CS 1300   LEC 001

  • 11176 CS 1300   DIS 201

  • 11177 CS 1300   DIS 202

  • 11178 CS 1300   DIS 203

  • 11179 CS 1300   DIS 204

  • 11180 CS 1300   DIS 205

  • 11181 CS 1300   DIS 206

  • 11679 CS 1300   DIS 207

  • 11680 CS 1300   DIS 208

  • 11738 CS 1300   DIS 209

  • 11739 CS 1300   DIS 210

  • 12105 CS 1300   DIS 211

  • 12107 CS 1300   DIS 212

  • 12109 CS 1300   DIS 213

  • 12111 CS 1300   DIS 214

  • 12113 CS 1300   DIS 215

CS 1620

Interdisciplinary survey course designed to introduce students in the creative arts, science, and engineering to the concepts of 2D and 3D digital pictorial representation and display. It is a concept ... view course details

View Enrollment Information

Syllabi:
  •   Regular Academic Session.  Combined with: ARCH 3702ART 2907ENGRI 1620

  • 4 Credits Graded

CS 1998

Freshmen and Nontechnical Team Projects. view course details

View Enrollment Information

Syllabi: none
  •   Seven Week - Second. 

  • 1-3 Credits Sat/Unsat

  • 14915 CS 1998   IND 601

Syllabi: none
  •   Seven Week - Second. 

  • 1-3 Credits Sat/Unsat

  • 15004 CS 1998   IND 602

    • TBA
    • Oct 21 - Dec 10, 2019
    • Hirsh, H

      Mimno, D

      Sridharan, K

Syllabi: none
  •   Seven Week - Second. 

  • 1-3 Credits Sat/Unsat

  • 15006 CS 1998   IND 603

Syllabi: none
  •   Seven Week - Second. 

  • 1-3 Credits Sat/Unsat

  • 15064 CS 1998   IND 604

    • TBA
    • Oct 21 - Dec 10, 2019
    • Joachims, T

Syllabi: none
  •   Seven Week - Second. 

  • 1-3 Credits Sat/Unsat

  • 15066 CS 1998   IND 605

    • TBA
    • Oct 21 - Dec 10, 2019
    • Trummer, I

CS 2024

An intermediate introduction to the C++ programming language and the C/C++ standard libraries. Topics include basic statements, declarations, and types; stream I/O; user-defined classes and types; derived ... view course details

View Enrollment Information

Syllabi: none
  •   Regular Academic Session. 

  • 2 Credits Sat/Unsat

  • 12627 CS 2024   LEC 001

CS 2110

Intermediate programming in a high-level language and introduction to computer science. Topics include object-oriented programming (classes, objects, subclasses, types), graphical user interfaces, algorithm ... view course details

View Enrollment Information

Syllabi: none
  •   Regular Academic Session.  Choose one lecture and one discussion. Combined with: ENGRD 2110

  • 3 Credits Stdnt Opt

  • 10519 CS 2110   LEC 001

  • Engineers must register for ENGRD 2110.

  • 10520 CS 2110   DIS 201

  • 10521 CS 2110   DIS 202

  • 10522 CS 2110   DIS 203

  • 10523 CS 2110   DIS 204

  • 10524 CS 2110   DIS 205

  • 10525 CS 2110   DIS 206

  • 10526 CS 2110   DIS 207

  • 11771 CS 2110   DIS 208

  • 11772 CS 2110   DIS 209

  • 11773 CS 2110   DIS 210

  • 11774 CS 2110   DIS 211

  • 11775 CS 2110   DIS 212

  • 11799 CS 2110   DIS 213

  • 11800 CS 2110   DIS 214

  • 12170 CS 2110   DIS 215

  • 12179 CS 2110   DIS 216

CS 2111

Meets weekly for one hour, in collaboration with CS 2110. Designed to enhance understanding of object-oriented programming, use of the application for writing Java programs, and other programming issues, ... view course details

View Enrollment Information

Syllabi: none
  •   Regular Academic Session. 

  • 1 Credit Sat/Unsat

  • 11658 CS 2111   LEC 001

Syllabi: none
  •   Regular Academic Session. 

  • 1 Credit Sat/Unsat

  • 12337 CS 2111   LEC 003

CS 2112

Honors version of CS 2110/ENGRD 2110; credit is given for only one of CS 2110 and 2112. Corrective transfer between CS 2110 and 2112 (in either direction) is encouraged during first three weeks. Intermediate ... view course details

View Enrollment Information

Syllabi: none
  •   Regular Academic Session.  Choose one lecture, one discussion, and one laboratory. Combined with: ENGRD 2112

  • 4 Credits Stdnt Opt

  • 11827 CS 2112   LEC 001

  • 11828 CS 2112   DIS 201

  • 11829 CS 2112   DIS 202

  • 11830 CS 2112   LAB 401

  • 11831 CS 2112   LAB 402

CS 2800

Covers the mathematics that underlies most of computer science. Topics include mathematical induction; logical proof; propositional and predicate calculus; combinatorics and discrete mathematics; some ... view course details

View Enrollment Information

Syllabi: none
  •   Regular Academic Session.  Choose one lecture and one discussion.

  • 3 Credits Stdnt Opt

  • 10527 CS 2800   LEC 001

  • 17738 CS 2800   DIS 201

  • 17739 CS 2800   DIS 202

  • 17740 CS 2800   DIS 203

  • 17741 CS 2800   DIS 204

  • 17742 CS 2800   DIS 205

  • 17743 CS 2800   DIS 206

  • 17744 CS 2800   DIS 207

  • 17745 CS 2800   DIS 208

  • 17746 CS 2800   DIS 209

  • 17747 CS 2800   DIS 210

  • 17748 CS 2800   DIS 211

  • 17749 CS 2800   DIS 212

  • 17750 CS 2800   DIS 213

  • 17751 CS 2800   DIS 214

CS 2850

This interdisciplinary course examines network structures and how they matter in everyday life. The course examines how each of the computing, economic, sociological and natural worlds are connected and ... view course details

View Enrollment Information

Syllabi: none
  •   Regular Academic Session.  Combined with: ECON 2040INFO 2040SOC 2090

  • 4 Credits Stdnt Opt

  • 11232 CS 2850   LEC 001

CS 3110

Advanced programming course that emphasizes functional programming techniques and data structures. Programming topics include recursive and higher-order procedures, models of programming language evaluation ... view course details

View Enrollment Information

Syllabi: none
  •   Regular Academic Session.  Choose one lecture and one discussion.

  • 4 Credits GradeNoAud

  • 10528 CS 3110   LEC 001

  • 10529 CS 3110   DIS 201

  • 10530 CS 3110   DIS 202

  • 10531 CS 3110   DIS 203

  • 11733 CS 3110   DIS 204

  • 11734 CS 3110   DIS 205

  • 11735 CS 3110   DIS 206

  • 11792 CS 3110   DIS 207

  • 11793 CS 3110   DIS 208

  • 11794 CS 3110   DIS 209

  • 11795 CS 3110   DIS 210

  • 11796 CS 3110   DIS 211

  • 12264 CS 3110   DIS 212

  • 12265 CS 3110   DIS 213

CS 3220

Introduction to computational mathematics covering topics in (numerical) linear algebra, statistics, and optimization. Topics included are those of particular relevance to upper-division computer science ... view course details

View Enrollment Information

Syllabi:
  •   Regular Academic Session. 

  • 3 Credits Stdnt Opt

  • 17417 CS 3220   LEC 001

CS 3410

Introduction to computer organization, systems programming and the hardware/ software interface. Topics include instruction sets, computer arithmetic, datapath design, data formats, addressing modes, memory ... view course details

View Enrollment Information

Syllabi: none
  •   Regular Academic Session.  Choose one lecture and one discussion.

  • 4 Credits GradeNoAud

  • 12039 CS 3410   LEC 001

  • 12045 CS 3410   DIS 201

  • 12044 CS 3410   DIS 202

  • 12046 CS 3410   DIS 203

  • 12048 CS 3410   DIS 204

  • 12041 CS 3410   DIS 205

  • 12681 CS 3410   DIS 206

  • 12047 CS 3410   DIS 207

  • 12682 CS 3410   DIS 208

CS 4090

Earn course credit for working as a consultant or ugrad TA in a computer science course. view course details

View Enrollment Information

Syllabi: none
  •   Regular Academic Session. 

  • 1-4 Credits Sat/Unsat

  • 12166 CS 4090   IND 601

    • TBA
    • Hauagge, D

Syllabi: none
  •   Regular Academic Session. 

  • 1-4 Credits Sat/Unsat

  • 11340 CS 4090   IND 603

    • TBA
    • Bala, K

Syllabi: none
  •   Regular Academic Session. 

  • 1-4 Credits Sat/Unsat

  • 11713 CS 4090   IND 605

    • TBA
    • Birman, K

Syllabi: none
  •   Regular Academic Session. 

  • 1-4 Credits Sat/Unsat

  • 11714 CS 4090   IND 607

    • TBA
    • Constable, B

Syllabi: none
  •   Regular Academic Session. 

  • 1-4 Credits Sat/Unsat

  • 11341 CS 4090   IND 609

    • TBA
    • Fan, K

Syllabi: none
  •   Regular Academic Session. 

  • 1-4 Credits Sat/Unsat

  • 11342 CS 4090   IND 611

    • TBA
    • Gehrke, J

Syllabi: none
  •   Regular Academic Session. 

  • 1-4 Credits Sat/Unsat

  • 11551 CS 4090   IND 615

    • TBA
    • Hopcroft, J

Syllabi: none
  •   Regular Academic Session. 

  • 1-4 Credits Sat/Unsat

  • 11343 CS 4090   IND 617

    • TBA
    • Joachims, T

Syllabi: none
  •   Regular Academic Session. 

  • 1-4 Credits Sat/Unsat

  • 11563 CS 4090   IND 618

    • TBA
    • Kleinberg, J

Syllabi: none
  •   Regular Academic Session. 

  • 1-4 Credits Sat/Unsat

  • 11715 CS 4090   IND 620

    • TBA
    • Kozen, D

Syllabi: none
  •   Regular Academic Session. 

  • 1-4 Credits Sat/Unsat

  • 11344 CS 4090   IND 623

    • TBA
    • Lipson, H

Syllabi: none
  •   Regular Academic Session. 

  • 1-4 Credits Sat/Unsat

  • 11716 CS 4090   IND 625

    • TBA
    • Marschner, S

Syllabi: none
  •   Regular Academic Session. 

  • 1-4 Credits Sat/Unsat

  • 11345 CS 4090   IND 626

    • TBA
    • Myers, A

Syllabi: none
  •   Regular Academic Session. 

  • 1-4 Credits Sat/Unsat

  • 11564 CS 4090   IND 630

    • TBA
    • Van Loan, C

Syllabi: none
  •   Regular Academic Session. 

  • 1-4 Credits Sat/Unsat

  • 11346 CS 4090   IND 631

    • TBA
    • Selman, B

Syllabi: none
  •   Regular Academic Session. 

  • 1-4 Credits Sat/Unsat

  • 11717 CS 4090   IND 634

    • TBA
    • Snavely, K

Syllabi: none
  •   Regular Academic Session. 

  • 1-4 Credits Sat/Unsat

  • 11347 CS 4090   IND 639

    • TBA
    • Van Renesse, R

Syllabi: none
  •   Regular Academic Session. 

  • 1-4 Credits Sat/Unsat

  • 11348 CS 4090   IND 642

    • TBA
    • White, W

Syllabi: none
  •   Regular Academic Session. 

  • 1-4 Credits Sat/Unsat

  • 11349 CS 4090   IND 644

    • TBA
    • Bracy, A

Syllabi: none
  •   Regular Academic Session. 

  • 1-4 Credits Sat/Unsat

  • 11718 CS 4090   IND 650

    • TBA
    • Gries, D

Syllabi: none
  •   Regular Academic Session. 

  • 1-4 Credits Sat/Unsat

  • 11719 CS 4090   IND 651

    • TBA
    • Kot, L

Syllabi: none
  •   Regular Academic Session. 

  • 1-4 Credits Sat/Unsat

  • 11971 CS 4090   IND 652

    • TBA
    • Clarkson, M

Syllabi: none
  •   Regular Academic Session. 

  • 1-4 Credits Sat/Unsat

  • 11972 CS 4090   IND 653

    • TBA
    • George, M

Syllabi: none
  •   Regular Academic Session. 

  • 1-4 Credits Sat/Unsat

  • 12537 CS 4090   IND 654

    • TBA
    • Greenberg, D

Syllabi: none
  •   Regular Academic Session. 

  • 1-4 Credits Sat/Unsat

  • 12364 CS 4090   IND 601A

    • TBA
    • Tardos, E

Syllabi: none
  •   Regular Academic Session. 

  • 1-4 Credits Sat/Unsat

  • 12873 CS 4090   IND 601B

    • TBA
    • Cardie, C

Syllabi: none
  •   Regular Academic Session. 

  • 1-4 Credits Sat/Unsat

  • 12902 CS 4090   IND 601C

    • TBA
    • Weinberger, K

Syllabi: none
  •   Regular Academic Session. 

  • 1-4 Credits Sat/Unsat

  • 19056 CS 4090   IND 601D

    • TBA
    • Trummer, I

Syllabi: none
  •   Regular Academic Session. 

  • 1-4 Credits Sat/Unsat

  • 19059 CS 4090   IND 601E

    • TBA
    • Hirsh, H

CS 4210

Introduction to the fundamentals of numerical analysis: error analysis, approximation, interpolation, numerical integration. In the second half of the course, the above are used to build approximate solvers ... view course details

View Enrollment Information

Syllabi: none
  •   Regular Academic Session.  Combined with: MATH 4250

  • 4 Credits Stdnt Opt

  • 10576 CS 4210   LEC 001

CS 4320

Introduction to modern database and data storage systems. Concepts covered include data models, query languages, database designs, storage structures, access methods, query processing and optimization, ... view course details

View Enrollment Information

Syllabi: none
  •   Regular Academic Session.  Combined with: CS 5320

  • 3 Credits Stdnt Opt

  • 10839 CS 4320   LEC 001

  • Enrollment limited to CIS students only. All others may add themselves to the waitlist during add/drop. Please go to http://www.cs.cornell.edu/courseinfo/enrollment for updates. It is expected that undergraduate students enroll in the 4000-level section of this class and graduate students enroll in the 5000-level section of this class.

CS 4321

Students build part of a database system in Java. view course details

View Enrollment Information

Syllabi: none
  •   Regular Academic Session.  Combined with: CS 5321

  • 2 Credits Stdnt Opt

  • 11823 CS 4321   LEC 001

  • Enrollment limited to CIS students only. All others may add themselves to the waitlist during add/drop. Please go to http://www.cs.cornell.edu/courseinfo/enrollment for updates. It is expected that undergraduate students enroll in the 4000-level section of this class and graduate students enroll in the 5000-level section of this class.

CS 4410

Introduction to the design of systems programs, with emphasis on multiprogrammed operating systems. Topics include concurrency, synchronization, deadlocks, memory management, protection, input-output methods, ... view course details

View Enrollment Information

Syllabi: none
  •   Regular Academic Session. 

  • 3 Credits GradeNoAud

  • 11103 CS 4410   LEC 001

    • TR Olin Hall 155
    • Schneider, F

      Van Renesse, R

  • Enrollment limited to CIS students only. All others may add themselves to the waitlist during add/drop. Please go to http://www.cs.cornell.edu/courseinfo/enrollment for updates.

CS 4411

Studies the practical aspects of operating systems through the design and implementation of an operating system kernel that supports multiprogramming, virtual memory, and various input-output devices. ... view course details

View Enrollment Information

Syllabi: none
  •   Regular Academic Session. 

  • 2 Credits GradeNoAud

  • 11104 CS 4411   LEC 001

  • Enrollment limited to CIS students only. All others may add themselves to the waitlist during add/drop. Please go to http://www.cs.cornell.edu/courseinfo/enrollment for updates. Students should not enroll in CS 4411 without having successfully completed CS 4410 or have concurrent enrollment in CS 4410.

CS 4420

This course aims to provide a strong foundation for students to understand modern computer system architecture and to apply these insights and principles to future computer designs. The course is structured ... view course details

View Enrollment Information

Syllabi:
  •   Regular Academic Session.  Choose one lecture and one discussion. Combined with: ECE 4750

  • 4 Credits Graded

  • 11573 CS 4420   LEC 001

  • NOTE: Discussion section is optional.

  • 11575 CS 4420   DIS 201

CS 4620

Introduction to the principles of computer graphics in two and three dimensions.  Topics include digital images, filtering and antialiasing, 2-D and 3-D affine geometry, ray tracing, perspective and 3-D ... view course details

View Enrollment Information

Syllabi: none
  •   Regular Academic Session.  Combined with: CS 5620

  • 3 Credits Stdnt Opt

  • 12631 CS 4620   LEC 001

  • It is expected that undergraduate students enroll in the 4000-level section of this class and graduate students enroll in the 5000-level section of this class.

CS 4621

Provides CS 4620 students with hands-on experience in computer graphics programming on modern graphics hardware. This course emphasizes effective use of graphics APIs and the architecture of ... view course details

View Enrollment Information

Syllabi: none
  •   Regular Academic Session.  Combined with: CS 5621

  • 2 Credits Graded

  • 12765 CS 4621   LEC 001

  • This course is only for those who have taken or are currently enrolled in CS 4620.

CS 4700

Challenging introduction to the major subareas and current research directions in artificial intelligence. Topics include knowledge representation, heuristic search, problem solving, natural-language ... view course details

View Enrollment Information

Syllabi: none
  •   Regular Academic Session. 

  • 3 Credits Stdnt Opt

  • 10534 CS 4700   LEC 001

  • Enrollment limited to CIS students only. All others may add themselves to the waitlist during add/drop. Please go to http://www.cs.cornell.edu/courseinfo/enrollment for updates.

CS 4701

Project portion of CS 4700. Topics include knowledge representation systems, search procedures, game-playing, automated reasoning, concept learning, reinforcement learning, neural nets, genetics algorithms, ... view course details

View Enrollment Information

Syllabi: none
  •   Regular Academic Session. 

  • 2 Credits Stdnt Opt

  • 10538 CS 4701   LEC 001

  • Enrollment limited to CIS students only. All others may add themselves to the waitlist during add/drop. Please go to http://www.cs.cornell.edu/courseinfo/enrollment for updates. Students should not enroll in CS 4701 without having successfully completed CS 4700 or have concurrent enrollment in CS 4700.

CS 4740

This course constitutes an introduction to natural language processing (NLP), the goal of which is to enable computers to use human languages as input, output, or both. NLP is at the heart of many of today's ... view course details

View Enrollment Information

Syllabi: none
  •   Regular Academic Session.  Combined with: COGST 4740CS 5740LING 4474

  • 4 Credits Stdnt Opt

  • 12049 CS 4740   LEC 001

  • Enrollment limited to CIS students only. All others may add themselves to the waitlist during add/drop. Please go to http://www.cs.cornell.edu/courseinfo/enrollment for updates. It is expected that undergraduate students enroll in the 4000-level section of this class and graduate students enroll in the 5000-level section of this class.

CS 4750

No description available. view course details

View Enrollment Information

Syllabi: none
  •   Regular Academic Session.  Combined with: ECE 4770MAE 4760

  • 4 Credits Graded

  • 12279 CS 4750   LEC 001

CS 4775

Computational methods for analyzing genetic and genomic data.  Topics include sequence alignment, hidden Markov Models for discovering sequence features, motif finding using Gibbs sampling, phylogenetic ... view course details

View Enrollment Information

Syllabi:
  •   Regular Academic Session.  Choose one lecture and one discussion. Combined with: BTRY 4840BTRY 6840

  • 4 Credits Stdnt Opt

  • 12129 CS 4775   LEC 001

  • Prerequisites: BTRY 3010 and CS 2110 or equivalents.

  • 12130 CS 4775   DIS 201

CS 4780

An introduction to machine learning for intelligent systems (e.g. search engines, recommender systems, ad placement). Topics include supervised learning, statistical learning theory, and online ... view course details

View Enrollment Information

Syllabi: none
  •   Regular Academic Session.  Combined with: CS 5780

  • 4 Credits Stdnt Opt

  • 12632 CS 4780   LEC 001

  • Enrollment limited to CIS students only. All others may add themselves to the waitlist during add/drop. Please go to http://www.cs.cornell.edu/courseinfo/enrollment for updates. It is expected that undergraduate students enroll in the 4000-level section of this class and graduate students enroll in the 5000-level section of this class.

CS 4810

Introduction to the modern theory of computing: automata theory, formal languages, and effective computability. view course details

View Enrollment Information

Syllabi: none
  •   Regular Academic Session. 

  • 3 Credits Stdnt Opt

  • 12393 CS 4810   LEC 001

CS 4820

Develops techniques used in the design and analysis of algorithms, with an emphasis on problems arising in computing applications. Example applications are drawn from systems and networks, artificial ... view course details

View Enrollment Information

Syllabi: none
  •   Regular Academic Session. 

  • 4 Credits Stdnt Opt

  • 12394 CS 4820   LEC 001

  • Enrollment in this class is limited to CIS students only. All others should add themselves to the waitlist via Student Center during the Add/Drop Period. Please see http://www.cs.cornell.edu/courseinfo/enrollment for more information.

CS 4860

Propositional and predicate logic, compactness and completeness using tableaux, natural deduction, and/or resolution. Other topics chosen from the following: Equational logic. Herbrand Universes ... view course details

View Enrollment Information

Syllabi: none
  •   Regular Academic Session.  Combined with: MATH 4860

  • 4 Credits Stdnt Opt

  • 12785 CS 4860   LEC 001

CS 4997

This independent study course offers students an opportunity to reflect on concepts from computer science as they were encountered and applied in a recent internship. Students write a short paper describing ... view course details

View Enrollment Information

Syllabi: none
  •   Regular Academic Session. 

  • 1 Credit S/U NoAud

  • 17683 CS 4997   IND 601

    • TBA
    • Lee, L

  • For international students to fulfill the associated CPT requirement.

CS 4998

Advanced independent work in computer science as part of a student-led team project.  view course details

View Enrollment Information

Syllabi: none
  •   Seven Week - Second. 

  • 1-4 Credits Opt NoAud

  • 15009 CS 4998   IND 605

    • TBA
    • Oct 21 - Dec 10, 2019
    • Sridharan, K

Syllabi: none
  •   Seven Week - Second. 

  • 1-4 Credits Opt NoAud

  • 15065 CS 4998   IND 607

    • TBA
    • Oct 21 - Dec 10, 2019
    • Joachims, T

Syllabi: none
  •   Seven Week - Second. 

  • 1-4 Credits Opt NoAud

  • 15067 CS 4998   IND 608

    • TBA
    • Oct 21 - Dec 10, 2019
    • Trummer, I

Syllabi: none
  •   Project Session Full. 

  • 1-4 Credits Opt NoAud

  • 12951 CS 4998   IND 601

    • TBA
    • Marschner, S

  • 18974 CS 4998   IND 609

    • TBA
    • Clarkson, M

Syllabi: none
  •   Project Session Full. 

  • 1-4 Credits Opt NoAud

  • 12330 CS 4998   IND 602

    • TBA
    • White, W

Syllabi: none
  •   Project Session Full. 

  • 1-4 Credits Opt NoAud

  • 12332 CS 4998   IND 603

    • TBA
    • Knepper, R

Syllabi: none
  •   Project Session Full. 

  • 1-4 Credits Opt NoAud

  • 12339 CS 4998   IND 604

    • TBA
    • Agarwal, R

Syllabi: none
  •   Project Session Full. 

  • 1-4 Credits Opt NoAud

  • 12582 CS 4998   IND 606

    • TBA
    • Weinberger, K

Syllabi: none
  •   Project Session Full. 

  • 1-4 Credits Opt NoAud

  • 19020 CS 4998   IND 610

    • TBA
    • Van Renesse, R

CS 4999

Independent reading and research for undergraduates. view course details

View Enrollment Information

Syllabi: none
  •   Regular Academic Session. 

  • 1-4 Credits Stdnt Opt

  • 12125 CS 4999   IND 601

    • TBA
    • Tardos, E

Syllabi: none
  •   Regular Academic Session. 

  • 1-4 Credits Stdnt Opt

  • 10894 CS 4999   IND 602

    • TBA
    • Bailey, G

Syllabi: none
  •   Regular Academic Session. 

  • 1-4 Credits Stdnt Opt

  • 10895 CS 4999   IND 603

    • TBA
    • Bala, K

Syllabi: none
  •   Regular Academic Session. 

  • 1-4 Credits Stdnt Opt

  • 10896 CS 4999   IND 604

    • TBA
    • Bindel, D

Syllabi: none
  •   Regular Academic Session. 

  • 1-4 Credits Stdnt Opt

  • 10897 CS 4999   IND 605

    • TBA
    • Birman, K

Syllabi: none
  •   Regular Academic Session. 

  • 1-4 Credits Stdnt Opt

  • 10898 CS 4999   IND 606

    • TBA
    • Cardie, C

Syllabi: none
  •   Regular Academic Session. 

  • 1-4 Credits Stdnt Opt

  • 10899 CS 4999   IND 607

    • TBA
    • Constable, B

Syllabi: none
  •   Regular Academic Session. 

  • 1-4 Credits Stdnt Opt

  • 10900 CS 4999   IND 608

    • TBA
    • Demers, A

Syllabi: none
  •   Regular Academic Session. 

  • 1-4 Credits Stdnt Opt

  • 10901 CS 4999   IND 609

    • TBA
    • Fan, K

Syllabi: none
  •   Regular Academic Session. 

  • 1-4 Credits Stdnt Opt

  • 10902 CS 4999   IND 610

    • TBA
    • Foster, N

Syllabi: none
  •   Regular Academic Session. 

  • 1-4 Credits Stdnt Opt

  • 10903 CS 4999   IND 611

    • TBA
    • Sirer, E

Syllabi: none
  •   Regular Academic Session. 

  • 1-4 Credits Stdnt Opt

  • 10904 CS 4999   IND 612

    • TBA
    • Gomes, C

Syllabi: none
  •   Regular Academic Session. 

  • 1-4 Credits Stdnt Opt

  • 10905 CS 4999   IND 613

    • TBA
    • Greenberg, D

Syllabi: none
  •   Regular Academic Session. 

  • 1-4 Credits Stdnt Opt

  • 10906 CS 4999   IND 614

    • TBA
    • Halpern, J

Syllabi: none
  •   Regular Academic Session. 

  • 1-4 Credits Stdnt Opt

  • 10907 CS 4999   IND 615

    • TBA
    • Hopcroft, J

Syllabi: none
  •   Regular Academic Session. 

  • 1-4 Credits Stdnt Opt

  • 12167 CS 4999   IND 616

    • TBA
    • Sridharan, K

Syllabi: none
  •   Regular Academic Session. 

  • 1-4 Credits Stdnt Opt

  • 10908 CS 4999   IND 617

    • TBA
    • Joachims, T

Syllabi: none
  •   Regular Academic Session. 

  • 1-4 Credits Stdnt Opt

  • 10909 CS 4999   IND 618

    • TBA
    • Kleinberg, J

Syllabi: none
  •   Regular Academic Session. 

  • 1-4 Credits Stdnt Opt

  • 10910 CS 4999   IND 619

    • TBA
    • Kleinberg, R

Syllabi: none
  •   Regular Academic Session. 

  • 1-4 Credits Stdnt Opt

  • 10911 CS 4999   IND 620

    • TBA
    • Kozen, D

Syllabi: none
  •   Regular Academic Session. 

  • 1-4 Credits Stdnt Opt

  • 10912 CS 4999   IND 621

    • TBA
    • Kress-Gazit, H

Syllabi: none
  •   Regular Academic Session. 

  • 1-4 Credits Stdnt Opt

  • 10913 CS 4999   IND 622

    • TBA
    • Lee, L

Syllabi: none
  •   Regular Academic Session. 

  • 1-4 Credits Stdnt Opt

  • 10914 CS 4999   IND 623

    • TBA
    • Lipson, H

Syllabi: none
  •   Regular Academic Session. 

  • 1-4 Credits Stdnt Opt

  • 12182 CS 4999   IND 624

    • TBA
    • Weinberger, K

Syllabi: none
  •   Regular Academic Session. 

  • 1-4 Credits Stdnt Opt

  • 10915 CS 4999   IND 625

    • TBA
    • Marschner, S

Syllabi: none
  •   Regular Academic Session. 

  • 1-4 Credits Stdnt Opt

  • 10916 CS 4999   IND 626

    • TBA
    • Myers, A

Syllabi: none
  •   Regular Academic Session. 

  • 1-4 Credits Stdnt Opt

  • 10917 CS 4999   IND 627

    • TBA
    • Pass, R

Syllabi: none
  •   Regular Academic Session. 

  • 1-4 Credits Stdnt Opt

  • 10918 CS 4999   IND 628

    • TBA
    • Damle, A

Syllabi: none
  •   Regular Academic Session. 

  • 1-4 Credits Stdnt Opt

  • 10919 CS 4999   IND 629

    • TBA
    • Schneider, F

Syllabi: none
  •   Regular Academic Session. 

  • 1-4 Credits Stdnt Opt

  • 12202 CS 4999   IND 630

    • TBA
    • Guimbretiere, F

Syllabi: none
  •   Regular Academic Session. 

  • 1-4 Credits Stdnt Opt

  • 10920 CS 4999   IND 631

    • TBA
    • Selman, B

Syllabi: none
  •   Regular Academic Session. 

  • 1-4 Credits Stdnt Opt

  • 10921 CS 4999   IND 632

    • TBA
    • Shmoys, D

Syllabi: none
  •   Regular Academic Session. 

  • 1-4 Credits Stdnt Opt

  • 10922 CS 4999   IND 634

    • TBA
    • Snavely, K

Syllabi: none
  •   Regular Academic Session. 

  • 1-4 Credits Stdnt Opt

  • 10923 CS 4999   IND 635

    • TBA
    • De Sa, C

Syllabi: none
  •   Regular Academic Session. 

  • 1-4 Credits Stdnt Opt

  • 10924 CS 4999   IND 637

    • TBA
    • Tate, R

Syllabi: none
  •   Regular Academic Session. 

  • 1-4 Credits Stdnt Opt

  • 10925 CS 4999   IND 638

    • TBA
    • Van Loan, C

Syllabi: none
  •   Regular Academic Session. 

  • 1-4 Credits Stdnt Opt

  • 10926 CS 4999   IND 639

    • TBA
    • Van Renesse, R

Syllabi: none
  •   Regular Academic Session. 

  • 1-4 Credits Stdnt Opt

  • 11110 CS 4999   IND 641

    • TBA
    • Weatherspoon, H

Syllabi: none
  •   Regular Academic Session. 

  • 1-4 Credits Stdnt Opt

  • 11206 CS 4999   IND 642

    • TBA
    • White, W

Syllabi: none
  •   Regular Academic Session. 

  • 1-4 Credits Stdnt Opt

  • 11712 CS 4999   IND 643

    • TBA
    • Zabih, R

Syllabi: none
  •   Regular Academic Session. 

  • 1-4 Credits Stdnt Opt

  • 11951 CS 4999   IND 644

    • TBA
    • Andersen, E

Syllabi: none
  •   Regular Academic Session. 

  • 1-4 Credits Stdnt Opt

  • 11950 CS 4999   IND 645

    • TBA
    • George, M

Syllabi: none
  •   Regular Academic Session. 

  • 1-4 Credits Stdnt Opt

  • 11952 CS 4999   IND 646

    • TBA
    • Knepper, R

Syllabi: none
  •   Regular Academic Session. 

  • 1-4 Credits Stdnt Opt

  • 12036 CS 4999   IND 647

    • TBA
    • Rooth, M

Syllabi: none
  •   Regular Academic Session. 

  • 1-4 Credits Stdnt Opt

  • 12141 CS 4999   IND 649

    • M
    • White, W

  • 1-credit. S/U only, for engineering project.

Syllabi: none
  •   Regular Academic Session. 

  • 1-4 Credits Stdnt Opt

  • 12196 CS 4999   IND 601A

    • TBA
    • Clarkson, M

Syllabi: none
  •   Regular Academic Session. 

  • 1-4 Credits Stdnt Opt

  • 12205 CS 4999   IND 601B

    • TBA
    • Williamson, D

Syllabi: none
  •   Regular Academic Session. 

  • 1-4 Credits Stdnt Opt

  • 12266 CS 4999   IND 601C

    • TBA
    • Dell, N

Syllabi: none
  •   Regular Academic Session. 

  • 1-4 Credits Stdnt Opt

  • 12267 CS 4999   IND 601D

    • TBA
    • Danescu-Niculescu-Mizil, C

Syllabi: none
  •   Regular Academic Session. 

  • 1-4 Credits Stdnt Opt

  • 12288 CS 4999   IND 601E

    • TBA
    • Keinan, A

Syllabi: none
  •   Regular Academic Session. 

  • 1-4 Credits Stdnt Opt

  • 12328 CS 4999   IND 601F

    • TBA
    • Bracy, A

Syllabi: none
  •   Regular Academic Session. 

  • 1-4 Credits Stdnt Opt

  • 12329 CS 4999   IND 601G

    • TBA
    • Edelman, S

Syllabi: none
  •   Regular Academic Session. 

  • 1-4 Credits Stdnt Opt

  • 12338 CS 4999   IND 601H

    • TBA
    • Alvisi, L

Syllabi: none
  •   Regular Academic Session. 

  • 1-4 Credits Stdnt Opt

  • 12349 CS 4999   IND 601I

    • TBA
    • Agarwal, R

Syllabi: none
  •   Regular Academic Session. 

  • 1-4 Credits Stdnt Opt

  • 12350 CS 4999   IND 601J

    • TBA
    • Hoffman, G

Syllabi: none
  •   Regular Academic Session. 

  • 1-4 Credits Stdnt Opt

  • 12358 CS 4999   IND 601K

    • TBA
    • Belongie, S

Syllabi: none
  •   Regular Academic Session. 

  • 1-4 Credits Stdnt Opt

  • 12532 CS 4999   IND 601L

    • TBA
    • Artzi, Y

Syllabi: none
  •   Regular Academic Session. 

  • 1-4 Credits Stdnt Opt

  • 12540 CS 4999   IND 601M

    • TBA
    • Cosley, D

Syllabi: none
  •   Regular Academic Session. 

  • 1-4 Credits Stdnt Opt

  • 12550 CS 4999   IND 601N

    • TBA
    • Hariharan, B

Syllabi: none
  •   Regular Academic Session. 

  • 1-4 Credits Stdnt Opt

  • 12570 CS 4999   IND 601O

    • TBA
    • Jung, M

Syllabi: none
  •   Regular Academic Session. 

  • 1-4 Credits Stdnt Opt

  • 12575 CS 4999   IND 601P

    • TBA
    • Estrin, D

Syllabi: none
  •   Regular Academic Session. 

  • 1-4 Credits Stdnt Opt

  • 12576 CS 4999   IND 601Q

    • TBA
    • Trummer, I

Syllabi: none
  •   Regular Academic Session. 

  • 1-4 Credits Stdnt Opt

  • 12617 CS 4999   IND 601R

    • TBA
    • Sampson, A

Syllabi: none
  •   Regular Academic Session. 

  • 1-4 Credits Stdnt Opt

  • 12615 CS 4999   IND 601S

    • TBA
    • Chattopadhyay, E

Syllabi: none
  •   Regular Academic Session. 

  • 1-4 Credits Stdnt Opt

  • 12616 CS 4999   IND 601U

    • TBA
    • Birrell, E

Syllabi: none
  •   Regular Academic Session. 

  • 1-4 Credits Stdnt Opt

  • 12877 CS 4999   IND 601V

    • TBA
    • Juels, A

Syllabi: none
  •   Regular Academic Session. 

  • 1-4 Credits Stdnt Opt

  • 12905 CS 4999   IND 601W

    • TBA
    • Petersen, K

Syllabi: none
  •   Regular Academic Session. 

  • 1-4 Credits Stdnt Opt

  • 12932 CS 4999   IND 601X

    • TBA
    • Benson, A

Syllabi: none
  •   Regular Academic Session. 

  • 1-4 Credits Stdnt Opt

  • 12954 CS 4999   IND 601Y

    • TBA
    • Delimitrou, C

Syllabi: none
  •   Regular Academic Session. 

  • 1-4 Credits Stdnt Opt

  • 12963 CS 4999   IND 601Z

    • TBA
    • Yu, H

Syllabi: none
  •   Regular Academic Session. 

  • 1-4 Credits Stdnt Opt

  • 12968 CS 4999   IND 602A

    • TBA
    • Hirsh, H

Syllabi: none
  •   Regular Academic Session. 

  • 1-4 Credits Stdnt Opt

  • 18918 CS 4999   IND 602B

    • TBA
    • Haghtalab, N

Syllabi: none
  •   Regular Academic Session. 

  • 1-4 Credits Stdnt Opt

  • 19210 CS 4999   IND 602C

    • TBA
    • Zhang, C

Syllabi: none
  •   Regular Academic Session. 

  • 1-4 Credits Stdnt Opt

  • 19245 CS 4999   IND 602D

    • TBA
    • Muhlberger, C

Syllabi: none
  •   Regular Academic Session. 

  • 1-4 Credits Stdnt Opt

  • 19246 CS 4999   IND 602E

    • TBA
    • Martinez, J

Syllabi: none
  •   Regular Academic Session. 

  • 1-4 Credits Stdnt Opt

  • 19259 CS 4999   IND 602F

    • TBA
    • Mimno, D

CS 5112

An introduction to some fundamental algorithms and data structures used in current applications. Examples include cryptocurrencies (hashing, Merkle trees, proofs of work), AI (nearest neighbor methods, ... view course details

View Enrollment Information

Syllabi:
  •   Regular Academic Session. 

  • 3 Credits Graded