NEW! Room assignments are available in Class Roster behind netID login.
Enrollment: Review the Guide to Enrollment on the University Registrar website. Course offerings and course details are subject to change.
Checklist Reminder: to avoid enrollment delays, please complete your Term Checklist. Term Checklists can be found in Student Center under your To-Do List. Only students with in progress checklist requirements will see a Checklist item needing completion.
Study of programming paradigms: functional, imperative, concurrent, and probabilistic programming. Mathematical foundations: inductive definitions, fixed points, and formal semantics. Models of programming languages including the lambda calculus. Type systems, polymorphism, modules, and object-oriented constructs. Program transformations, program logic, and applications to programming methodology.
When Offered Spring.
Permission Note Enrollment limited to: graduate students or permission of instructor.
Regular Academic Session.Choose one lecture and one project.
Credits and Grading Basis
4 Credits
Stdnt Opt(Letter or S/U grades)
Class Number & Section Details
19897CS 6110 LEC 001
Meeting Pattern
MWF
Jan 21 - May 6, 2025
Instructors
Myers, A
To be determined. There are currently no textbooks/materials listed, or no textbooks/materials
required, for this section. Additional information may be found on the syllabus provided by your professor.
For the most current information about textbooks, including the timing and options for purchase, see the
Cornell Store.
Additional Information
Instruction Mode: In Person
Enrollment limited to: Computer Science Doctor of Philosophy (PhD) and Master of Science (MS) students.
For Bowers Computer and Information Science (CIS) Course Enrollment Help, please see: https://tdx.cornell.edu/TDClient/193/Portal/Home/
Class Number & Section Details
20121CS 6110 PRJ 601
Meeting Pattern
TBA
Jan 21 - May 6, 2025
Instructors
Myers, A
To be determined. There are currently no textbooks/materials listed, or no textbooks/materials
required, for this section. Additional information may be found on the syllabus provided by your professor.
For the most current information about textbooks, including the timing and options for purchase, see the
Cornell Store.
Additional Information
Instruction Mode: In Person
Syllabi:
none
Regular Academic Session.Choose one lecture and one project.
Credits and Grading Basis
4 Credits
Stdnt Opt(Letter or S/U grades)
Class Number & Section Details
19896CS 6110 LEC 030
Meeting Pattern
MWF
Jan 21 - May 6, 2025
Instructors
Myers, A
To be determined. There are currently no textbooks/materials listed, or no textbooks/materials
required, for this section. Additional information may be found on the syllabus provided by your professor.
For the most current information about textbooks, including the timing and options for purchase, see the
Cornell Store.
Additional Information
Instruction Mode: Distance Learning-Synchronous
Enrollment limited to: Cornell Tech Doctor of Philosophy (PhD) students.
Class Number & Section Details
20177CS 6110 PRJ 630
Meeting Pattern
TBA
Jan 21 - May 6, 2025
Instructors
Myers, A
To be determined. There are currently no textbooks/materials listed, or no textbooks/materials
required, for this section. Additional information may be found on the syllabus provided by your professor.
For the most current information about textbooks, including the timing and options for purchase, see the
Cornell Store.
Additional Information
Instruction Mode: In Person
Enrollment limited to Cornell Tech PhD Students only.
