Neel Somani has built a career that sits at the intersection of theory and practice. His work spans formal methods, mac ...

In 1854, London was struck by a devastating cholera outbreak. Public authorities responded using the best tools and scientific understanding available at the time.Disease was widely believed to spread ...