SPLASH 2021
Sun 17 - Fri 22 October 2021 Chicago, Illinois, United States
Koushik Sen

Registered user since Fri 15 Jul 2016

Name:Koushik Sen
Bio:

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 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.

Country:United States
Affiliation:University of California at Berkeley
Research interests:Software Engineering, Programming Languages, Formal Methods

Contributions

SPLASH 2021 Gauss: Program Synthesis by Reasoning over Graphs
Show activities from other conferences

Using general profile