skip to main content

2014 Early Career Academic Achievement Alumni Award

Koushik Sen
Koushik Sen

Koushik Sen (MS CS ’03, PhD ’06) is an outstanding researcher, educator, and mentor whose work impacts the software verification and testing fields. He is developer and co-inventor of Directed Automated Random Testing (DART) and Concolic Testing software, which detects standard errors such as program crashes, assertion violations, and non-termination.