Koushik Sen computer science, programming systems, software engineering, programming languages, computational logic, software testing, verification, model checking, runtime monitoring, performance evaluation Division of Computer Science/EECS