II.
Domain overview
Reference · livedomain:computer-science
Computer Science overview
Theoretical and applied computer science — algorithms, computational complexity, programming language theory, formal methods, type systems, automata theory, and computer architecture. Bridges pure mathematics and software engineering, underpinning cryptography, AI, databases, and distributed systems research. Distinct from software engineering in its focus on mathematical foundations and provable correctness rather than production delivery.
Attributes
displayName
Computer Science
description
Theoretical and applied computer science — algorithms, computational complexity,
programming language theory, formal methods, type systems, automata theory,
and computer architecture. Bridges pure mathematics and software engineering,
underpinning cryptography, AI, databases, and distributed systems research.
Distinct from software engineering in its focus on mathematical foundations
and provable correctness rather than production delivery.
Outgoing edges
contains3
- specialization:quantum-computing·SpecializationQuantum Computing
- specialization:theoretical-computer-science·SpecializationTheoretical Computer Science
- specialization:formal-methods·SpecializationFormal Methods
Incoming edges
applies_to56
- benchmark:apps·BenchmarkAPPS
- benchmark:hle·BenchmarkHumanity's Last Exam (HLE)
- benchmark:bbh·BenchmarkBIG-Bench Hard (BBH)
- benchmark:arc-agi-3·BenchmarkARC-AGI 3
- benchmark:mt-bench·BenchmarkMT-Bench
- language:agda·LanguageAgda
- language:common-lisp·LanguageCommon Lisp
- language:coq·LanguageCoq
- language:haskell·LanguageHaskell
- language:idris·LanguageIdris
- language:lean·LanguageLean
- language:ocaml·LanguageOCaml
- language:racket·LanguageRacket
- language:scheme·LanguageScheme
- term:acronym·TermAcronym
- term:benchmark·TermBenchmark
- term:definition·TermDefinition
- term:domain·TermDomain
- term:execution·TermExecution
- term:invocation·TermInvocation
- term:language·TermLanguage
- term:ontology-schema·TermOntologySchema
- term:path-descriptor·TermPathDescriptor
- term:source-ref·TermSourceRef
- term:state-machine·TermStateMachine
- term:synonym·TermSynonym
- term:rest-representational-state-transfer·TermREST (Representational State Transfer)
- term:event-driven-architecture-eda·TermEvent-Driven Architecture (EDA)
- term:domain-driven-design-ddd·TermDomain-Driven Design (DDD)
- term:cqrs-command-query-responsibility-segregation·TermCQRS (Command Query Responsibility Segregation)
- term:backend-for-frontend-bff·TermBackend for Frontend (BFF)
- term:service-oriented-architecture-soa·TermService-Oriented Architecture (SOA)
- term:publish-subscribe-pubsub·TermPublish-Subscribe (PubSub)
- term:mvc-model-view-controller·TermMVC (Model-View-Controller)
- term:mvp-model-view-presenter·TermMVP (Model-View-Presenter)
- term:mvvm-model-view-viewmodel·TermMVVM (Model-View-ViewModel)
- term:single-page-application-spa·TermSingle Page Application (SPA)
- term:progressive-web-application-pwa·TermProgressive Web Application (PWA)
- term:client-side-rendering-csr·TermClient-Side Rendering (CSR)
- term:server-side-rendering-ssr·TermServer-Side Rendering (SSR)
- term:static-site-generation-ssg·TermStatic Site Generation (SSG)
- term:incremental-static-regeneration-isr·TermIncremental Static Regeneration (ISR)
- term:finite-state-machine-fsm·TermFinite State Machine (FSM)
- term:grpc-google-remote-procedure-call·TermgRPC (Google Remote Procedure Call)
- term:server-sent-events-sse·TermServer-Sent Events (SSE)
- term:jwt-json-web-tokens·TermJWT (JSON Web Tokens)
- term:circuit-breaker·TermCircuit Breaker
- term:canary-testing·TermCanary Testing
- term:rpc-remote-procedure-call·TermRPC (Remote Procedure Call)
- term:authentication·TermAuthentication
- term:authorization·TermAuthorization
- term:test-driven-development-tdd·TermTest-Driven Development (TDD)
- term:behavior-driven-development-bdd·TermBehavior-Driven Development (BDD)
- term:multi-page-application-mpa·TermMulti-Page Application (MPA)
- term:term·TermTerm
- term:topic·TermTopic
applies_to_domain1
- workflow:peer-review-cycle·WorkflowPeer Review Cycle
lib_applies_to_domain171
- lib-agent:algorithms-optimization--algorithm-designer·LibraryAgentalgorithm-designer
- lib-agent:algorithms-optimization--algorithm-teacher·LibraryAgentalgorithm-teacher
- lib-agent:algorithms-optimization--competitive-programmer·LibraryAgentcompetitive-programmer
- lib-agent:algorithms-optimization--complexity-analyst·LibraryAgentcomplexity-analyst
- lib-agent:algorithms-optimization--contest-strategist·LibraryAgentcontest-strategist
- lib-agent:algorithms-optimization--correctness-verifier·LibraryAgentcorrectness-verifier
- lib-agent:algorithms-optimization--data-structures-expert·LibraryAgentdata-structures-expert
- lib-agent:algorithms-optimization--dp-specialist·LibraryAgentdp-specialist
- lib-agent:algorithms-optimization--geometry-specialist·LibraryAgentgeometry-specialist
- lib-agent:algorithms-optimization--graph-specialist·LibraryAgentgraph-specialist
- lib-agent:algorithms-optimization--interview-coach·LibraryAgentinterview-coach
- lib-agent:algorithms-optimization--number-theory-specialist·LibraryAgentnumber-theory-specialist
- lib-agent:algorithms-optimization--progress-tracker·LibraryAgentprogress-tracker
- lib-agent:algorithms-optimization--string-algorithm-specialist·LibraryAgentstring-algorithm-specialist
- lib-agent:algorithms-optimization--system-design-expert·LibraryAgentsystem-design-expert
- lib-agent:algorithms-optimization--technical-interviewer·LibraryAgenttechnical-interviewer
- lib-agent:algorithms-optimization--test-engineer·LibraryAgenttest-engineer
- lib-agent:algorithms-optimization--upsolving-coach·LibraryAgentupsolving-coach
- 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:algorithms-optimization--advanced-dp-techniques·LibraryProcessspecializations/algorithms-optimization/advanced-dp-techniques
- lib-process:algorithms-optimization--advanced-graph-algorithms·LibraryProcessspecializations/algorithms-optimization/advanced-graph-algorithms
- lib-process:algorithms-optimization--algorithm-implementation·LibraryProcessspecializations/algorithms-optimization/algorithm-implementation
- lib-process:algorithms-optimization--atcoder-contest·LibraryProcessspecializations/algorithms-optimization/atcoder-contest
- lib-process:algorithms-optimization--backtracking-pruning·LibraryProcessspecializations/algorithms-optimization/backtracking-pruning
- lib-process:algorithms-optimization--behavioral-interview-prep·LibraryProcessspecializations/algorithms-optimization/behavioral-interview-prep
- lib-process:algorithms-optimization--binary-search-applications·LibraryProcessspecializations/algorithms-optimization/binary-search-applications
- lib-process:algorithms-optimization--classic-dp-library·LibraryProcessspecializations/algorithms-optimization/classic-dp-library
- lib-process:algorithms-optimization--code-level-optimization·LibraryProcessspecializations/algorithms-optimization/code-level-optimization
- lib-process:algorithms-optimization--codeforces-contest·LibraryProcessspecializations/algorithms-optimization/codeforces-contest
- lib-process:algorithms-optimization--combinatorics-counting·LibraryProcessspecializations/algorithms-optimization/combinatorics-counting
- lib-process:algorithms-optimization--complexity-optimization·LibraryProcessspecializations/algorithms-optimization/complexity-optimization
- lib-process:algorithms-optimization--computational-geometry·LibraryProcessspecializations/algorithms-optimization/computational-geometry
- lib-process:algorithms-optimization--correctness-proof-testing·LibraryProcessspecializations/algorithms-optimization/correctness-proof-testing
- lib-process:algorithms-optimization--cp-library-creation·LibraryProcessspecializations/algorithms-optimization/cp-library-creation
- lib-process:algorithms-optimization--cses-learning-path·LibraryProcessspecializations/algorithms-optimization/cses-learning-path
- lib-process:algorithms-optimization--data-structure-implementation·LibraryProcessspecializations/algorithms-optimization/data-structure-implementation
- lib-process:algorithms-optimization--divide-conquer-design·LibraryProcessspecializations/algorithms-optimization/divide-conquer-design
- lib-process:algorithms-optimization--dp-pattern-matching·LibraryProcessspecializations/algorithms-optimization/dp-pattern-matching
- lib-process:algorithms-optimization--dp-state-optimization·LibraryProcessspecializations/algorithms-optimization/dp-state-optimization
- lib-process:algorithms-optimization--dp-transition-derivation·LibraryProcessspecializations/algorithms-optimization/dp-transition-derivation
- lib-process:algorithms-optimization--faang-interview-prep·LibraryProcessspecializations/algorithms-optimization/faang-interview-prep
- lib-process:algorithms-optimization--fenwick-tree-implementation·LibraryProcessspecializations/algorithms-optimization/fenwick-tree-implementation
- lib-process:algorithms-optimization--graph-modeling·LibraryProcessspecializations/algorithms-optimization/graph-modeling
- lib-process:algorithms-optimization--graph-traversal·LibraryProcessspecializations/algorithms-optimization/graph-traversal
- lib-process:algorithms-optimization--greedy-algorithm-design·LibraryProcessspecializations/algorithms-optimization/greedy-algorithm-design
- lib-process:algorithms-optimization--interview-problem-explanation·LibraryProcessspecializations/algorithms-optimization/interview-problem-explanation
- lib-process:algorithms-optimization--io-optimization·LibraryProcessspecializations/algorithms-optimization/io-optimization
- lib-process:algorithms-optimization--leetcode-problem-solving·LibraryProcessspecializations/algorithms-optimization/leetcode-problem-solving
- lib-process:algorithms-optimization--memory-optimization·LibraryProcessspecializations/algorithms-optimization/memory-optimization
- lib-process:algorithms-optimization--mock-coding-interview·LibraryProcessspecializations/algorithms-optimization/mock-coding-interview
- lib-process:algorithms-optimization--number-theory-algorithms·LibraryProcessspecializations/algorithms-optimization/number-theory-algorithms
- lib-process:algorithms-optimization--pattern-matching-algorithms·LibraryProcessspecializations/algorithms-optimization/pattern-matching-algorithms
- lib-process:algorithms-optimization--pattern-recognition·LibraryProcessspecializations/algorithms-optimization/pattern-recognition
- lib-process:algorithms-optimization--prime-algorithms·LibraryProcessspecializations/algorithms-optimization/prime-algorithms
- lib-process:algorithms-optimization--progress-tracking·LibraryProcessspecializations/algorithms-optimization/progress-tracking
- lib-process:algorithms-optimization--range-query-optimization·LibraryProcessspecializations/algorithms-optimization/range-query-optimization
- lib-process:algorithms-optimization--segment-tree-implementation·LibraryProcessspecializations/algorithms-optimization/segment-tree-implementation
- lib-process:algorithms-optimization--shortest-path-algorithms·LibraryProcessspecializations/algorithms-optimization/shortest-path-algorithms
- lib-process:algorithms-optimization--skill-gap-analysis·LibraryProcessspecializations/algorithms-optimization/skill-gap-analysis
- lib-process:algorithms-optimization--string-processing·LibraryProcessspecializations/algorithms-optimization/string-processing
- lib-process:algorithms-optimization--system-design-interview·LibraryProcessspecializations/algorithms-optimization/system-design-interview
- lib-process:algorithms-optimization--topic-mastery-certification·LibraryProcessspecializations/algorithms-optimization/topic-mastery-certification
- lib-process:algorithms-optimization--trie-suffix-structures·LibraryProcessspecializations/algorithms-optimization/trie-suffix-structures
- lib-process:algorithms-optimization--two-pointer-sliding-window·LibraryProcessspecializations/algorithms-optimization/two-pointer-sliding-window
- 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:algorithms-optimization--advanced-ds-library·LibrarySkilladvanced-ds-library
- lib-skill:algorithms-optimization--algorithm-visualizer·LibrarySkillalgorithm-visualizer
- lib-skill:algorithms-optimization--atcoder-client·LibrarySkillatcoder-client
- lib-skill:algorithms-optimization--code-profiler·LibrarySkillcode-profiler
- lib-skill:algorithms-optimization--code-template-manager·LibrarySkillcode-template-manager
- lib-skill:algorithms-optimization--codeforces-api-client·LibrarySkillcodeforces-api-client
- lib-skill:algorithms-optimization--combinatorics-calculator·LibrarySkillcombinatorics-calculator
- lib-skill:algorithms-optimization--complexity-analyzer·LibrarySkillcomplexity-analyzer
- lib-skill:algorithms-optimization--cses-tracker·LibrarySkillcses-tracker
- lib-skill:algorithms-optimization--data-structure-selector·LibrarySkilldata-structure-selector
- lib-skill:algorithms-optimization--dp-optimizer·LibrarySkilldp-optimizer
- lib-skill:algorithms-optimization--dp-pattern-library·LibrarySkilldp-pattern-library
- lib-skill:algorithms-optimization--dp-state-designer·LibrarySkilldp-state-designer
- lib-skill:algorithms-optimization--flow-network-builder·LibrarySkillflow-network-builder
- lib-skill:algorithms-optimization--geometry-algorithm-library·LibrarySkillgeometry-algorithm-library
- lib-skill:algorithms-optimization--geometry-primitive-library·LibrarySkillgeometry-primitive-library
- lib-skill:algorithms-optimization--graph-algorithm-selector·LibrarySkillgraph-algorithm-selector
- lib-skill:algorithms-optimization--graph-modeler·LibrarySkillgraph-modeler
- lib-skill:algorithms-optimization--interview-problem-bank·LibrarySkillinterview-problem-bank
- lib-skill:algorithms-optimization--interview-simulator·LibrarySkillinterview-simulator
- lib-skill:algorithms-optimization--invariant-analyzer·LibrarySkillinvariant-analyzer
- lib-skill:algorithms-optimization--leetcode-problem-fetcher·LibrarySkillleetcode-problem-fetcher
- lib-skill:algorithms-optimization--micro-optimizer·LibrarySkillmicro-optimizer
- lib-skill:algorithms-optimization--number-theory-toolkit·LibrarySkillnumber-theory-toolkit
- lib-skill:algorithms-optimization--prime-sieve-generator·LibrarySkillprime-sieve-generator
- lib-skill:algorithms-optimization--proof-assistant·LibrarySkillproof-assistant
- lib-skill:algorithms-optimization--segment-tree-builder·LibrarySkillsegment-tree-builder
- lib-skill:algorithms-optimization--solution-comparator·LibrarySkillsolution-comparator
- lib-skill:algorithms-optimization--solution-explainer·LibrarySkillsolution-explainer
- lib-skill:algorithms-optimization--string-algorithm-matcher·LibrarySkillstring-algorithm-matcher
- lib-skill:algorithms-optimization--suffix-structure-builder·LibrarySkillsuffix-structure-builder
- lib-skill:algorithms-optimization--test-case-generator·LibrarySkilltest-case-generator
- 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
requires_skill1
- role:computational-scientist·RoleComputational Scientist
specializes5
- specialization:programming-languages·SpecializationProgramming Languages
- specialization:computer-science·SpecializationComputer Science
- specialization:quantum-computing·SpecializationQuantum Computing
- specialization:theoretical-computer-science·SpecializationTheoretical Computer Science
- specialization:formal-methods·SpecializationFormal Methods