Koushik Sen

Koushik Sen is a Professor in the Department of Electrical Engineering and Computer Sciences at the University of California, Berkeley. He holds a B.Tech from IIT Kanpur and M.S./Ph.D. from UIUC. His research focuses on Software Engineering, Programming Languages, and Formal Methods, emphasizing tools like DART, CUTE, and Jalangi for improving software reliability. He leads projects such as CORVETTE and Sky Computing Lab, and collaborates with Samsung Research America on JavaScript analysis. Sen has received prestigious awards including the Sloan Fellowship and ACM SIGSOFT Impact Award.

• Education:
• B.Tech, Indian Institute of Technology, Kanpur
• M.S. and Ph.D., University of Illinois at Urbana-Champaign

Research Interests: Software Testing, Verification, Symbolic Execution, Security, and Quantum Computing. His work bridges automated testing (e.g., concolic testing) with machine learning for bug detection and program synthesis. Projects include Hindsight Logging for ML reproducibility and quantum circuit optimization (QFAST).

Awards: NSF CAREER, IFIP Manfred Paul, ACM SIGSOFT Distinguished Paper (multiple), and Sloan Fellowship.

Advising: Supervised over 30 students/postdocs, leading to faculty roles at UBC, CMU, and industry positions at Google, Facebook, and Samsung.

Labs/Teams: Berkeley Center for Responsible, Decentralized Intelligence (RDI), EPIC Data Lab, and Sky Computing Lab. Active in quantum computing and hardware fuzzing (RTL-FuzzLab).