Foundations of Adaptive Data Analysis

Classical tools for rigorously analyzing data make the assumption that the analysis is static: the models to be fit, and the hypotheses to be tested are fixed independently of the data, and preliminary analysis of the data does not feed back into the data gathering procedure. On the other hand, Read more

By Zack Ives, ago

Measuring the World’s Well-Being

The World Well-Being Project (WWBP) is pioneering scientific techniques for measuring psychological well-being and physical health based on the analysis of language in social media. As a collaboration between computer scientists, psychologists, and medical researchers, we are shedding new light on the psychosocial processes that affect health and happiness and Read more

By Zack Ives, ago

The Science of Deep Specification

In our interconnected world, software bugs and security vulnerabilities pose enormous costs and risks. The Deep Specification project addresses this problem by showing how to build software that does what it is supposed to do, no less and (just as important) no more: No unintended backdoors that allow hackers in, Read more

By Zack Ives, ago