Neel Somani has built a career that sits at the intersection of theory and practice. His work spans formal methods, machine learning safety, quantitative research, and large scale systems. While many ...