SPLASH 2020
Sun 15 - Sat 21 November 2020 Online Conference
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, Berkeley

Personal website: https://people.eecs.berkeley.edu/~ksen/

Research interests: Software Engineering, Programming Languages, Formal Methods

Contributions

Scala 2020Author of ScalaPy: Seamless Python Interoperability for Cross-Platform Scala Programs within the Scala-track
GPCE 2020Author of Fluid Quotes: Metaprogramming across Abstraction Boundaries with Dependent Types within the GPCE-track
Show activities from other conferences

Using general profile