Koushik Sen
Ph.D., University of Illinois at Urbana Champaign.
Assistant Professor,
Department of Electrical Engineering and Computer Sciences,
University of California, Berkeley.
Contact Information
581 Soda Hall # 1776
Berkeley, CA 94720-1776
Phone: (510) 642-2420
Fax: (510) 643-1534
Email: ksen (at) cs.berkeley.edu
Research Interests
Formal Methods, Software Engineering, and Programming Languages (with an emphasis on Software Reliability): Software Testing, Verification, Model-Checking, Runtime Monitoring, Performance Evaluation, and Computational Logic. Currently, I am working on active testing of concurrent programs. See our ASE’07, PLDI’08, FSE’08, PLDI’09, CAV’09 papers for details. In my thesis research I worked on concolic testing. Here is a video of my talk on concolic testing (DART and CUTE.) Stream lower quality video from Google.
Biography
Koushik Sen is an assistant professor in the Department of Electrical Engineering and Computer Sciences at the University of California, Berkeley. He received his B.Tech in Computer Science and Engineering from the Indian Institute of Technology Kanpur, India and a M.S. and a Ph.D. in Computer Science from the University of Illinois at Urbana-Champaign. He is best known for his work on directed automated random testing and concolic testing. His paper on concolic testing won the ACM SIGSOFT Distinguished Paper Award at ESEC/FSE’05. He received the C.L. and Jane W-S. Liu Award in 2004 for exceptional research promise, 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 an NSF CAREER Award in 2008.