The Mathematics of Causal Inference and the Logic of Science
Distinguishes passive statistical conditioning P(Y|X) from structural interventions P(Y|do(X)) and counterfactual reasoning across Judea Pearl's three-rung Ladder of Causation.
Faculty & visiting speakers
Self-contained seminars, public lectures, and invited talks.
Distinguishes passive statistical conditioning P(Y|X) from structural interventions P(Y|do(X)) and counterfactual reasoning across Judea Pearl's three-rung Ladder of Causation.
Applies interactive proof systems, cryptographic watermarking, and worst-case adversarial guarantees to verifiable machine learning.



Discrete proof invariants, stochastic conditioning, pseudorandomness, and P vs. NP
MIT · Harvard University · UCLA +2