Dr. Koushik Sen

Professor

Build a Statement of Purpose

Generate a tailored SOP for Dr. Koushik Sen. Improve your application with a focused, well-structured draft.

Biography

Koushik Sen is a Professor in the Department of Electrical Engineering and Computer Sciences at the University of California, Berkeley. His research interests lie in Software Engineering, Programming Languages, and Formal Methods. He is dedicated to developing software tools and methodologies aimed at improving programmer productivity and software quality. Sen is notably recognized for his work on directed automated random testing and concolic testing. He has received multiple prestigious awards, including the C.L. 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 University of Illinois at Urbana-Champaign. Additionally, he has been honored with the NSF CAREER Award in 2008, the Haifa Verification Conference Award in 2009, and the IFIP TC2 Manfred Paul Award for Excellence in Software: Theory and Practice in 2010. His achievements also include winning ACM SIGSOFT Distinguished Paper Awards. Sen holds a B.Tech from the Indian Institute of Technology, Kanpur, and both an M.S. and Ph.D. in Computer Science from the University of Illinois at Urbana-Champaign.

Research Interests

Software Engineering Programming Languages Formal Methods Software Testing Verification Model Checking Runtime Monitoring Performance Evaluation Computational Logic

Experience

Professor

— Present

University of California, Berkeley • Berkeley, CA

Teaching and conducting research in Software Engineering and Programming Languages.

Courses

CS 164. Programming Languages Compilers

Requirements for University of California, Berkeley

Doctorate Program
Requirements
GPA Requirement
Required:3
GRE Subject
Overall Score
Required:500
Overall
Required:500
TOEFL
Total
Required:90
IELTS
Overall
Required:7
Prerequisites
Bachelor's degree or recognized equivalent Preparation comparable to undergraduate major at Berkeley in Mathematics or Applied Mathematics 2 full years lower-division work (Calculus, Linear Algebra, Differential Equations, Multivariable Calculus) 8 one-semester upper-division courses (Real Analysis, Complex Analysis, Abstract Algebra, Linear Algebra)
Application Checklist
  • Graduate Application
  • Statement of Purpose
  • Personal History Statement
  • Three Letters of Recommendation
  • Unofficial Transcripts
  • C.V./Resume
  • Course and Textbook List
Specialization Notes

The Mathematics Subject GRE is required for the Fall 2026 admissions cycle. General GRE is optional.