COS 435: Theory of Computation

A theoretical treatment of what can be computed and how efficiently computation can be done. Topics include models of computation and automata, deterministic and non - deterministic computations, and formal language theory. Prerequisite: COS 265.

Top News

• Taylor Computer Science and Engineering Adds Cybersecurity Major
• CERIAS Symposium 2018
• Taylor Gets $75k Grant Extension from Lockheed Martin for Malware Research
• Students Present Malware Research in Washington DC
• Taylor Gets 100k Grant from Lockheed Martin for Computer Virus Research
• The Birth of Cybersecurity
• Computer Science Major to Present Senior Research
• Cybersecurity Lecture Asks Big Questions
• Taylor University Adds Cybersecurity Program
• Taylor Matches Grant With Cybersecurity Major
• Capture the Flag with a Twist

Find Us...