People

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.

Director

Current Members

Past Members

Ahmed TamrawiAkshay Deepak, Aravind Krishnaswamy, Curtis Ullerich, Daman Singh, Dan Harvey, Dan StinerGanesh Ram Santhanam, Jaekyu Cho, Jason Stanek, Jeremías Sauceda, Jim Carl, Jon MathewsKang Gui, Lisbeth Meum, Luke Bishop, Murali Ravirala, Nikhil RanadeSandeep KrishnanSergio Ferrero, Simanta Mitra, Srinivas NeginhalTom Deering, Wei Ke, Xiaozheng Ma, Yogy Namara, Youngtae Kim, Yunbo DengZach Lones

kotharigroupphoto