{"id":58,"date":"2015-11-30T11:11:14","date_gmt":"2015-11-30T17:11:14","guid":{"rendered":"http:\/\/www.ece.iastate.edu\/kcsl\/?page_id=58"},"modified":"2022-08-24T10:38:47","modified_gmt":"2022-08-24T15:38:47","slug":"people","status":"publish","type":"page","link":"https:\/\/www.ece.iastate.edu\/kcsl\/","title":{"rendered":"People"},"content":{"rendered":"<p>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 <a href=\"http:\/\/web.archive.org\/web\/20160621224305\/http:\/\/www.isupark.org\/news-events\/around-the-park\/cracking-the-code-ensoft-leadi\">professor and entrepreneur Dr. Suresh Kothari<\/a>.<\/p>\n<p>Recent research funding has come primarily\u00a0from DARPA contracts\u00a0<a href=\"https:\/\/web-beta.archive.org\/web\/20160318195807\/http:\/\/www.darpa.mil\/program\/automated-program-analysis-for-cybersecurity\">FA8750-12-2-0126<\/a> and <a href=\"http:\/\/www.darpa.mil\/program\/space-time-analysis-for-cybersecurity\">FA8750-15-2-0080<\/a>.<\/p>\n<p><strong>Director<\/strong><\/p>\n<ul>\n<li><a href=\"https:\/\/www.linkedin.com\/in\/surajkothari\">Suresh Kothari<\/a> (Richardson Professor)<\/li>\n<\/ul>\n<p><strong>Current Members<\/strong><\/p>\n<p>PhD Students<\/p>\n<ul style=\"list-style-type: disc\">\n<li><a href=\"https:\/\/www.shrawanram.com\/\">Sharwan Ram<\/a><\/li>\n<li><a href=\"mailto:lezhang@iastate.edu\">Le Zhang<\/a><\/li>\n<\/ul>\n<p><strong>Past Members<\/strong><\/p>\n<p><a href=\"mailto:ahmedtamrawi@ensoftcorp.com\">Ahmed Tamrawi<\/a>,\u00a0<a href=\"mailto:akshayd@nitp.ac.in\">Akshay Deepak<\/a>,\u00a0Aravind Krishnaswamy,\u00a0<a href=\"https:\/\/ben-holland.com\">Benjamin Holland<\/a>, <a href=\"https:\/\/www.linkedin.com\/in\/curtisullerich\">Curtis Ullerich<\/a>, Daman Singh, Dan Harvey,\u00a0<a href=\"https:\/\/www.linkedin.com\/in\/danstiner\">Dan Stiner<\/a>, Derrick Lockwood, <a href=\"mailto:gsanthan@iastate.edu\">Ganesh Ram Santhanam<\/a>, Grant Foudree, Jaekyu Cho, Jason Stanek, <a href=\"https:\/\/www.linkedin.com\/in\/sauceda\">Jerem\u00edas Sauceda<\/a>, Jim Carl,\u00a0<a href=\"https:\/\/www.linkedin.com\/in\/jondmathews\">Jon Mathews<\/a>,\u00a0<a href=\"https:\/\/www.linkedin.com\/in\/kanggui\">Kang Gui<\/a>,\u00a0Lisbeth Meum,\u00a0<a href=\"https:\/\/www.linkedin.com\/in\/luke-bishop-70164311\">Luke Bishop<\/a>,\u00a0Murali Ravirala,\u00a0<a href=\"https:\/\/www.linkedin.com\/in\/nikhil-ranade-b0617b5\">Nikhil Ranade<\/a>, <a href=\"https:\/\/www.linkedin.com\/in\/payas-awadhutkar-5723803a\/\">Payas Awadhutkar<\/a>, <a href=\"https:\/\/www.linkedin.com\/in\/sandeep-krishnan-3909bb7\">Sandeep Krishnan<\/a>,\u00a0<a href=\"https:\/\/www.linkedin.com\/in\/ferrerosergio\">Sergio Ferrero<\/a>,\u00a0Simanta Mitra, <a href=\"https:\/\/www.shrawanram.com\/\">Sharwan Ram<\/a>, <a href=\"https:\/\/www.linkedin.com\/in\/srinivas-neginhal-6836a0\">Srinivas Neginhal<\/a>,\u00a0<a href=\"https:\/\/github.com\/powerofpi\">Tom Deering<\/a>,\u00a0Wei Ke, Xiaozheng Ma,\u00a0<a href=\"https:\/\/www.linkedin.com\/in\/ynamara\">Yogy Namara<\/a>,\u00a0Youngtae Kim,\u00a0<a href=\"https:\/\/www.linkedin.com\/in\/yunbo-deng-75a4b62\">Yunbo Deng<\/a>,\u00a0<a href=\"mailto:zachlones@gmail.com\">Zach Lones<\/a><\/p>\n<p><a href=\"https:\/\/www.ece.iastate.edu\/kcsl\/files\/2015\/11\/KothariGroupPhoto.jpg\"><img loading=\"lazy\" decoding=\"async\" class=\" wp-image-288 aligncenter\" src=\"https:\/\/www.ece.iastate.edu\/kcsl\/files\/2015\/11\/KothariGroupPhoto-300x206.jpg\" alt=\"kotharigroupphoto\" width=\"450\" height=\"309\" srcset=\"https:\/\/www.ece.iastate.edu\/kcsl\/files\/2015\/11\/KothariGroupPhoto-300x206.jpg 300w, https:\/\/www.ece.iastate.edu\/kcsl\/files\/2015\/11\/KothariGroupPhoto-768x529.jpg 768w, https:\/\/www.ece.iastate.edu\/kcsl\/files\/2015\/11\/KothariGroupPhoto-1024x705.jpg 1024w\" sizes=\"auto, (max-width: 450px) 100vw, 450px\" \/><\/a><\/p>\n","protected":false},"excerpt":{"rendered":"<p>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\u00a0from DARPA contracts\u00a0FA8750-12-2-0126 and FA8750-15-2-0080. Director Suresh Kothari (Richardson Professor) [&hellip;]<\/p>\n","protected":false},"author":601,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"footnotes":""},"class_list":["post-58","page","type-page","status-publish","hentry"],"_links":{"self":[{"href":"https:\/\/www.ece.iastate.edu\/kcsl\/wp-json\/wp\/v2\/pages\/58","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.ece.iastate.edu\/kcsl\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/www.ece.iastate.edu\/kcsl\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/www.ece.iastate.edu\/kcsl\/wp-json\/wp\/v2\/users\/601"}],"replies":[{"embeddable":true,"href":"https:\/\/www.ece.iastate.edu\/kcsl\/wp-json\/wp\/v2\/comments?post=58"}],"version-history":[{"count":40,"href":"https:\/\/www.ece.iastate.edu\/kcsl\/wp-json\/wp\/v2\/pages\/58\/revisions"}],"predecessor-version":[{"id":509,"href":"https:\/\/www.ece.iastate.edu\/kcsl\/wp-json\/wp\/v2\/pages\/58\/revisions\/509"}],"wp:attachment":[{"href":"https:\/\/www.ece.iastate.edu\/kcsl\/wp-json\/wp\/v2\/media?parent=58"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}