Computer science is the systematic study of computation, information, and their mechanized implementation, encompassing the theoretical, algorithmic, and engineering principles that underlie information processing systems. It includes formal models of computation (e.g., automata, computability, complexity theory), data structures and algorithms, programming languages and their semantics, and the design and analysis of hardware-software architectures. As a science, it investigates representational structures, abstraction mechanisms, and correctness properties, employing mathematical rigor, formal verification, and empirical evaluation. Subfields span areas such as operating systems, networks, databases, artificial intelligence, human-computer interaction, graphics, and security, unified by the core concern of efficient, reliable, and scalable computation.