About
Koushik Sen is a professor in the Department of Electrical Engineering and Computer Sciences at the University of California, Berkeley. His research interest lies in Software Engineering, Programming Languages, and Formal methods. He is interested in developing software tools and methodologies that improve programmer productivity and software quality. He is best known for his work on directed automated random testing and concolic testing. He received the C.L. and Jane W-S. Liu Award in 2004, the C. W. Gear Outstanding Graduate Award in 2005, and the David J. Kuck Outstanding Ph.D. Thesis Award in 2007 from the UIUC Department of Computer Science. He has received a NSF CAREER Award in 2008, a Haifa Verification Conference (HVC) Award in 2009, a IFIP TC2 Manfred Paul Award for Excellence in Software: Theory and Practice in 2010, and a Sloan Foundation Fellowship in 2011. He has won three ACM SIGSOFT Distinguished Paper Awards. He holds a B.Tech from Indian Institute of Technology, Kanpur, and M.S. and Ph.D. in CS from University of Illinois at Urbana-Champaign.
Research Performance Summary
First Recorded Paper
Testing whether X is larger than Y in mean residual life ordering and variance residual life ordering
Year: 1998
Citations: 1
Venue: IAPQR TRANSACTIONS 23
Latest Recorded Paper
Assessment of resistance traits in bitter gourd genotypes against melon fruit fly (Bactrocera cucurbitae Coquillett): morphological and biochemical insights
Year: 2026
Citations: 0
Venue: Arthropod-Plant Interactions 20 (1), 5
Last 10 Years Publication Activity
This timeline shows the professor's yearly publication activity.