II.
Specialization overview
Reference · livespecialization:computer-science
Computer Science overview
Theoretical and applied computer science including algorithms, complexity theory, programming language theory, and formal methods. Covers foundations that underpin cryptography, AI, databases, and distributed systems research.
Attributes
displayName
Computer Science
description
Theoretical and applied computer science including algorithms, complexity
theory, programming language theory, and formal methods. Covers foundations
that underpin cryptography, AI, databases, and distributed systems research.
Outgoing edges
specializes1
- domain:computer-science·DomainComputer Science
Incoming edges
applies_to1
- skill-area:concurrency-multithreading·SkillAreaConcurrency and Multithreading
documents1
- page:library-computer-science·PageComputer Science Specialization (Library)
lib_belongs_to_specialization76
- lib-agent:computer-science--algorithm-analyst·LibraryAgentalgorithm-analyst
- lib-agent:computer-science--algorithm-engineer·LibraryAgentalgorithm-engineer
- lib-agent:computer-science--approximation-specialist·LibraryAgentapproximation-specialist
- lib-agent:computer-science--compiler-architect·LibraryAgentcompiler-architect
- lib-agent:computer-science--complexity-theorist·LibraryAgentcomplexity-theorist
- lib-agent:computer-science--computability-theorist·LibraryAgentcomputability-theorist
- lib-agent:computer-science--concurrency-expert·LibraryAgentconcurrency-expert
- lib-agent:computer-science--distributed-systems-theorist·LibraryAgentdistributed-systems-theorist
- lib-agent:computer-science--formal-specification-expert·LibraryAgentformal-specification-expert
- lib-agent:computer-science--interdisciplinary-connector·LibraryAgentinterdisciplinary-connector
- lib-agent:computer-science--model-checking-expert·LibraryAgentmodel-checking-expert
- lib-agent:computer-science--performance-modeler·LibraryAgentperformance-modeler
- lib-agent:computer-science--randomized-algorithms-expert·LibraryAgentrandomized-algorithms-expert
- lib-agent:computer-science--semantics-specialist·LibraryAgentsemantics-specialist
- lib-agent:computer-science--static-analysis-expert·LibraryAgentstatic-analysis-expert
- lib-agent:computer-science--synthesis-specialist·LibraryAgentsynthesis-specialist
- lib-agent:computer-science--theorem-proving-expert·LibraryAgenttheorem-proving-expert
- lib-agent:computer-science--theory-paper-author·LibraryAgenttheory-paper-author
- lib-agent:computer-science--type-theorist·LibraryAgenttype-theorist
- lib-process:computer-science--abstract-interpretation-analysis·LibraryProcessabstract-interpretation-analysis
- lib-process:computer-science--algorithm-complexity-analysis·LibraryProcessalgorithm-complexity-analysis
- lib-process:computer-science--algorithm-correctness-proof·LibraryProcessalgorithm-correctness-proof
- lib-process:computer-science--algorithm-design-paradigm-selection·LibraryProcessalgorithm-design-paradigm-selection
- lib-process:computer-science--algorithm-engineering-evaluation·LibraryProcessalgorithm-engineering-evaluation
- lib-process:computer-science--approximation-algorithm-design·LibraryProcessapproximation-algorithm-design
- lib-process:computer-science--cache-optimization-analysis·LibraryProcesscache-optimization-analysis
- lib-process:computer-science--compiler-optimization-design·LibraryProcesscompiler-optimization-design
- lib-process:computer-science--complexity-lower-bound-proof·LibraryProcesscomplexity-lower-bound-proof
- lib-process:computer-science--computational-problem-classification·LibraryProcesscomputational-problem-classification
- lib-process:computer-science--concurrent-data-structure-design·LibraryProcessconcurrent-data-structure-design
- lib-process:computer-science--cross-area-cs-integration·LibraryProcesscross-area-cs-integration
- lib-process:computer-science--decidability-analysis·LibraryProcessdecidability-analysis
- lib-process:computer-science--distributed-consensus-protocol-design·LibraryProcessdistributed-consensus-protocol-design
- lib-process:computer-science--dsl-design-implementation·LibraryProcessdsl-design-implementation
- lib-process:computer-science--formal-specification-development·LibraryProcessformal-specification-development
- lib-process:computer-science--model-checking-verification·LibraryProcessmodel-checking-verification
- lib-process:computer-science--np-completeness-proof·LibraryProcessnp-completeness-proof
- lib-process:computer-science--operational-semantics-specification·LibraryProcessoperational-semantics-specification
- lib-process:computer-science--program-synthesis-specification·LibraryProcessprogram-synthesis-specification
- lib-process:computer-science--randomized-algorithm-analysis·LibraryProcessrandomized-algorithm-analysis
- lib-process:computer-science--system-performance-modeling·LibraryProcesssystem-performance-modeling
- lib-process:computer-science--theorem-prover-verification·LibraryProcesstheorem-prover-verification
- lib-process:computer-science--theoretical-cs-paper-development·LibraryProcesstheoretical-cs-paper-development
- lib-process:computer-science--type-system-design·LibraryProcesstype-system-design
- lib-skill:computer-science--abstract-domain-library·LibrarySkillabstract-domain-library
- lib-skill:computer-science--amortized-analysis-assistant·LibrarySkillamortized-analysis-assistant
- lib-skill:computer-science--approximation-ratio-calculator·LibrarySkillapproximation-ratio-calculator
- lib-skill:computer-science--asymptotic-notation-calculator·LibrarySkillasymptotic-notation-calculator
- lib-skill:computer-science--benchmark-suite-manager·LibrarySkillbenchmark-suite-manager
- lib-skill:computer-science--complexity-class-oracle·LibrarySkillcomplexity-class-oracle
- lib-skill:computer-science--consensus-protocol-library·LibrarySkillconsensus-protocol-library
- lib-skill:computer-science--counterexample-guided-refinement·LibrarySkillcounterexample-guided-refinement
- lib-skill:computer-science--data-flow-analysis-framework·LibrarySkilldata-flow-analysis-framework
- lib-skill:computer-science--dsl-compiler-generator·LibrarySkilldsl-compiler-generator
- lib-skill:computer-science--latex-proof-formatter·LibrarySkilllatex-proof-formatter
- lib-skill:computer-science--linearizability-checker·LibrarySkilllinearizability-checker
- lib-skill:computer-science--loop-invariant-generator·LibrarySkillloop-invariant-generator
- lib-skill:computer-science--memory-model-analyzer·LibrarySkillmemory-model-analyzer
- lib-skill:computer-science--model-checker-interface·LibrarySkillmodel-checker-interface
- lib-skill:computer-science--operational-semantics-builder·LibrarySkilloperational-semantics-builder
- lib-skill:computer-science--optimization-correctness-verifier·LibrarySkilloptimization-correctness-verifier
- lib-skill:computer-science--probabilistic-analysis-toolkit·LibrarySkillprobabilistic-analysis-toolkit
- lib-skill:computer-science--recurrence-solver·LibrarySkillrecurrence-solver
- lib-skill:computer-science--reduction-builder·LibrarySkillreduction-builder
- lib-skill:computer-science--related-work-analyzer·LibrarySkillrelated-work-analyzer
- lib-skill:computer-science--smt-solver-interface·LibrarySkillsmt-solver-interface
- lib-skill:computer-science--soundness-proof-assistant·LibrarySkillsoundness-proof-assistant
- lib-skill:computer-science--ssa-transformation-library·LibrarySkillssa-transformation-library
- lib-skill:computer-science--synthesis-specification-language·LibrarySkillsynthesis-specification-language
- lib-skill:computer-science--temporal-logic-translator·LibrarySkilltemporal-logic-translator
- lib-skill:computer-science--termination-analyzer·LibrarySkilltermination-analyzer
- lib-skill:computer-science--theorem-prover-interface·LibrarySkilltheorem-prover-interface
- lib-skill:computer-science--tla-plus-generator·LibrarySkilltla-plus-generator
- lib-skill:computer-science--turing-machine-simulator·LibrarySkillturing-machine-simulator
- lib-skill:computer-science--type-inference-engine·LibrarySkilltype-inference-engine
- lib-skill:computer-science--typing-rule-generator·LibrarySkilltyping-rule-generator