Examines the structure, regulation, pricing, and affordability of water utilities in the United States, emphasizing stakeholder perspectives and affordability concerns.
Explores bug-finding, verification, and the use of learning-aided approaches in program reasoning, showcasing examples like the Heartbleed bug and differential Bayesian reasoning.
Explores the effects of a permanent increase in money supply on short- and long-run equilibrium and discusses empirical evidence on the Fisher relationship.