Computer Science Theory

Sections (5)

• Algorithms and Complexity

  Article, resources, wiki and discussion.

• Formal Languages and Automata

  Article, resources, wiki and discussion.

• Logic in Computer Science

  Article, resources, wiki and discussion.

• Information Theory

  Article, resources, wiki and discussion.

• Cryptography Theory

  Article, resources, wiki and discussion.

Curated Resources (24)

Tools (5)

• Z3 Theorem Prover z3prover.github.iofree

  High-performance satisfiability modulo theories (SMT) solver developed by Microsoft Research for software verification and analysis.

• Coq Proof Assistant coq.inria.frfree

  Formal proof management system that provides a formal language to write mathematical definitions, algorithms, and theorems together with an environment for semi-interactive development of machine-checked proofs.

• Lean Prover lean-lang.orgfree

  Interactive theorem prover and pure functional programming language based on the calculus of constructions.

• JFLAP jflap.orgfree

  Educational software for experimenting with formal languages and automata theory, including finite state machines, pushdown automata, and Turing machines.

• SPIN Model Checker spinroot.comfree

  Popular open-source software verification tool for the formal verification of multi-threaded software and distributed algorithms.

Databases (4)

• Complexity Zoo complexityzoo.netfree

  Comprehensive wiki cataloging computational complexity classes and their structural relationships.

• dblp Computer Science Bibliography dblp.orgfree

  Extensive open bibliographic database indexing major conferences and journals across computer science and theoretical computing.

• Cryptology ePrint Archive eprint.iacr.orgfree

  Scientific repository for rapid dissemination of preprints and technical reports in cryptology and theoretical cryptographic foundations.

• Quantum Algorithm Zoo quantumalgorithmzoo.orgfree

  Comprehensive catalog of quantum algorithms with speedup factors over classical counterparts and bibliographic citations.

Learn (4)

• Design and Analysis of Algorithms (MIT OpenCourseWare) ocw.mit.edufree

  Advanced undergraduate course covering design and analysis paradigms, randomized algorithms, amortized analysis, and graph algorithms.

• Algorithms by Jeff Erickson jeffe.cs.illinois.edufree

  Free, open-access textbook covering recursion, dynamic programming, randomized algorithms, graph algorithms, and NP-hardness.

• Computational Complexity: A Modern Approach theory.cs.princeton.edufree

  Comprehensive graduate-level textbook on computational complexity theory by Sanjeev Arora and Boaz Barak.

• Algorithms, Part I coursera.orgfree

  Fundamental course on essential algorithms and data structures taught by Robert Sedgewick and Kevin Wayne.

Publications (4)

• Theory of Computing theoryofcomputing.orgfree

  Diamond open-access scientific journal publishing high-quality research papers across theoretical computer science.

• ACM Transactions on Computation Theory dl.acm.orgfreemium

  Peer-reviewed journal publishing research on computational complexity, algorithmic foundations, cryptography, and randomness.

• Algorithmica link.springer.comfreemium

  International journal devoted to the design and analysis of algorithms in computing and discrete applied mathematics.

• Electronic Colloquium on Computational Complexity eccc.weizmann.ac.ilfree

  Archival forum and screened scientific preprint archive dedicated to computational complexity theory.

Blogs and sites (4)

• Computational Complexity Blog blog.computationalcomplexity.orgfree

  Influential academic blog written by Lance Fortnow and Bill Gasarch exploring complexity theory, algorithms, and theory life.

• Windows on Theory windowsontheory.orgfree

  Collaborative research blog by theoretical computer scientists discussing algorithms, complexity, cryptography, and open problems.

• Theoretical Computer Science Stack Exchange cstheory.stackexchange.comfree

  Question and answer community for researchers, academics, and graduate students in theoretical computer science.

• In Theory lucatrevisan.wordpress.comfree

  Theoretical computer science blog maintained by the late Luca Trevisan, covering complexity theory, randomness, and spectral graph theory.

Events and conferences (3)

• ACM Symposium on Theory of Computing (STOC) sigact.orgfree

  Flagship annual international symposium sponsored by ACM SIGACT covering all foundational areas of theoretical computer science.

• Computational Complexity Conference (CCC) computationalcomplexity.orgfree

  Annual academic conference organized by the Computational Complexity Foundation dedicated to computational complexity.

• International Colloquium on Automata, Languages and Programming (ICALP) eatcs.orgfree

  Main annual conference of the European Association for Theoretical Computer Science, covering algorithms, complexity, and logic.

Other subcategories

Formal Sciences · Humanities · Natural Sciences · Social Sciences · Engineering · Professions and Applied Sciences

Part of Academics