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