ZD_1_14 — Type Theory: Lambda Calculus, Dependent Types, and the Curry-Howard Correspondence

Type theory is a foundational framework in mathematics, logic, and computer science that classifies values and expressions into types — categories that determine what operations are valid: a natural number can be added t

ZD_1_04 — Coding Theory & Error Correction

Coding theory — the mathematics of reliable communication over unreliable channels — was founded by Claude Shannon (1948), who proved the existence of channel capacity (a maximum rate at which information can be transmit

ZD_3_04 — Operating Systems and Concurrency

Operating systems (OS) — the software layer managing hardware resources and providing abstractions for applications — are among the most complex software artifacts ever built. They manage process scheduling (deciding whi

ZD_3_14 — Memory and Storage Systems: From RAM to Distributed Databases

Memory and storage systems form the foundation of all computing — providing the physical mechanisms for storing and retrieving data, from the fastest, most expensive registers and caches that serve the processor's immedi

ZD_5_04 — Computer Graphics: Rendering, Visualization, and Visual Computing

Computer graphics (CG) is the field of computing concerned with generating, manipulating, and displaying visual content using computers — encompassing everything from the mathematical foundations of rendering photorealis

ZD_5_14 — Data Visualization: The Science and Art of Visual Communication

Data visualization — the graphical representation of information and data — sits at the intersection of statistics, cognitive science, design, and computer science. The field's modern foundations were laid by Jacques Ber

ZD_4_08 — Bioinformatics and Computational Biology

Bioinformatics — the application of computational methods to biological data, especially molecular sequences — has become indispensable to modern biology. The field emerged from the convergence of molecular biology's dat

ZD_4_16 — Swarm Intelligence & Self-Organizing Systems: Decentralized Problem-Solving

Swarm intelligence (SI) — the emergent collective behavior of decentralized, self-organized systems in which simple agents following local rules produce globally intelligent, adaptive solutions without central control —

ZD_4_02 — Game Theory, Strategic Interaction, and Cooperation

Game theory is the mathematical study of strategic interaction among rational agents, founded by John von Neumann and Oskar Morgenstern's Theory of Games and Economic Behavior (1944) and revolutionized by John Nash's equ

ZD_4_12 — Quantum Computing — Architecture, Algorithms, and Implications

Quantum computing — computation that exploits the principles of quantum mechanics (superposition, entanglement, and interference) to process information in ways fundamentally different from classical computers — represen

ZD_4_15 — DNA Computing & Molecular Computation

DNA computing and molecular computation use biological molecules — primarily DNA and RNA — as substrates for information processing, storage, and logic operations. Pioneered by Leonard Adleman's 1994 demonstration of sol

ZD_4_13 — Network Science: Graph Theory, Small Worlds, and Scale-Free Networks

Network science is the study of complex systems represented as networks (graphs) — collections of nodes (vertices) connected by edges (links) — encompassing social networks (people connected by friendships, collaboration

ZD_4_10 — Complexity Theory in Biology — Kauffman, Wolfram, Edge of Chaos

The application of complexity theory to biology — the study of how complex, adaptive, self-organizing structures and behaviors emerge in living systems from the interactions of simpler components — has been one of the mo

ZD_4_07 — Human-Computer Interaction

Human-Computer Interaction (HCI) studies how people interact with computers and designs systems that are effective, efficient, and satisfying to use. HCI draws on computer science, cognitive psychology, design, and ergon

ZD_4_01 — Cryptography — From Caesar Cipher to Quantum Key Distribution

Cryptography — the science of secret communication — has evolved from ancient substitution ciphers to mathematically proven security systems that underpin the modern digital world. Julius Caesar shifted letters by three

ZD_4_14 — Computational Social Science: Agent-Based Modeling, Digital Trace Data, and Social Simulation

Computational social science (CSS) is the interdisciplinary field that applies computational methods — agent-based modeling, social network analysis, natural language processing, machine learning, simulation, and large-s

ZD_4_06 — Mathematical Sociology and Network Analysis

Mathematical sociology applies formal mathematical models — graph theory, probability, game theory, dynamical systems, and statistical mechanics — to understand social structures, collective behavior, and institutional d

ZD_4_11 — Social Network Analysis — Granovetter, Small Worlds, Influence

Social network analysis (SNA) — the study of social structures through the use of graph theory and network science, where individuals (or organizations, nations, etc.) are represented as nodes and their relationships (fr

ZD_4_04 — Mathematical Modeling and Simulation

Mathematical modeling — the art and science of translating real-world phenomena into mathematical language — is how scientists bridge theory and observation. A mathematical model is a simplified mathematical representati

ZD_4_00 — Applied Interdisciplinary: Subfolder Summary