Author details
![Image of author Koushik Sen](/mediastore/IEEE/content/freeimages/52/10372482/10021305/pasareanu.a6-3237981-small.gif)
Koushik Sen
Also published under: K. Sen
Affiliation
University of California, Berkeley
Biography
Koushik Sen is a professor at the University of California, Berkeley, Berkeley CA 94720 USA. His research interests include software engineering, formal methods, programming languages (with an emphasis on software reliability), dynamic program analysis, software testing, debugging, verification, model-checking, runtime monitoring, performance evaluation, and computational logic. Sen received his Ph.D. in computer science. Contact him at ksen@cs.berkeley.edu.(Based on document published on 18 January 2023). Author's Published Works