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
- Suresh Kothari (Richardson Professor)
Current Members
PhD Students
Past Members
Ahmed Tamrawi, Akshay Deepak, Aravind Krishnaswamy, Benjamin Holland, Curtis Ullerich, Daman Singh, Dan Harvey, Dan Stiner, Derrick Lockwood, Ganesh Ram Santhanam, Grant Foudree, Jaekyu Cho, Jason Stanek, Jeremías Sauceda, Jim Carl, Jon Mathews, Kang Gui, Lisbeth Meum, Luke Bishop, Murali Ravirala, Nikhil Ranade, Payas Awadhutkar, Sandeep Krishnan, Sergio Ferrero, Simanta Mitra, Sharwan Ram, Srinivas Neginhal, Tom Deering, Wei Ke, Xiaozheng Ma, Yogy Namara, Youngtae Kim, Yunbo Deng, Zach Lones
