The Knowledge-Centric Software Laboratory at the Department of Electrical and Computer Engineering consists of a group of researchers interested in solving hard problems in software program analysis. The laboratory is led and directed by professor and entrepreneur Dr. Suresh Kothari.

Recent research funding has come primarily from DARPA contracts FA8750-12-2-0126 and FA8750-15-2-0080.


Current Members

Past Members

Ahmed TamrawiAkshay DeepakCurtis Ullerich, Daman Singh, Dan Harvey, Dan StinerJeremías Sauceda, Jim Carl, Jon MathewsKang GuiLuke Bishop, Murali Ravirala, Nikhil RanadeSandeep KrishnanSergio FerreroSrinivas NeginhalTom Deering, Xiaozheng Ma, Yogy NamaraYunbo DengZach Lones