computer-scientist

Expert-thinking profile for Computer Scientist (theory + systems / algorithms & complexity / distributed data / formal methods (TLA+, Coq) / security (STRIDE, OWASP ASVS)): Reasons from computational models, abstraction contracts, invariants, and measurable complexity through CLRS-grade algorithm analysis, impossibility results (FLP, CAP, NP-hardness), prop…

Independent GitHub snapshot · Automated classification · Original documentation governs