CS 6861

Last Updated

  • Schedule of Classes - November 13, 2024 8:41AM EST
  • Course Catalog - November 12, 2024 10:26AM EST
Global toggle of class tabs

Links for textbooks and Cornell Store open in new tab.

CS 6861
Introduction to Kleene Algebra

Course information provided by the 2023-2024 Catalog.

Kleene algebra is the algebra of regular expressions and finite automata, structures of fundamental importance in computer science. Kleene algebra is the algebraic theory of these objects, although it has many other natural and useful interpretations: relational algebra, programming language semantics, program logics, automata and formal languages, network programming, computational geometry, and the design and analysis of algorithms. In this course we will explore the theory and applications of this system, including models, deductive systems, completeness and complexity results, and applications in the areas mentioned above. A final paper or project will be due on which the course grade will be based. It will be either an independent study with a final paper and presentation, or a software project and presentation, at the students' choice.


Prerequisites/Corequisites Prerequisite: CS 6860 or permission of instructor.

When Offered Fall.

View Enrollment Information

Syllabi: none

  •   Regular Academic Session.  Choose one lecture and one project.

  • 4 Credits Stdnt Opt

  • 19516 CS 6861   LEC 001

  •  

  • Instruction Mode: In Person

    Enrollment is restricted to graduate students only. All others must add themselves to the waitlist during add/drop in January.

  • 19519 CS 6861   PRJ 601

  •  
    • TBA
    • Jan 22 - May 7, 2024

    • Kozen, D

  • Instruction Mode: In Person