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, Berkeley
Personal website: https://people.eecs.berkeley.edu/~ksen/
Research interests: Software Engineering, Programming Languages, Formal Methods