Sumant Kowshik

Dr. Sumant Kowshick is a static analysis expert and Coverity Engineer. Sumant is involved in the research and engineering of many aspects of Coverity's C/C++ static analysis. Most recently, Sumant co-invented and developed the first commercial SAT-based analysis, which received several industry awards for being one of the best innovations in embedded system tools. More generally, Sumant is broadly interested in the problem of building dependable and secure software. Prior to joining Coverity, Sumant got his PhD in Computer Science from the University of Illinois at Urbana-Champaign, and a B.Tech in Computer Science from The Indian Institute of Technology, Madras, India.