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

The Department of Homeland Security’s approach to naming immigrant enforcement operations elicits polarizing opinions: Are ...