Ganesh Ram S.

Ganesh Ram S. is a Research Scientist at EnSoft Corp. since March 2018, focusing on formal methods and data analytics for DARPA projects. Previous roles include Associate Scientist at Iowa State University, where significant contributions were made in software vulnerability analysis and cybersecurity through visualization technologies, along with static analysis for malware detection. Earlier experience includes postdoctoral research in artificial intelligence applications, especially in decision-making for urban planning and cybersecurity. With a PhD in Artificial Intelligence and Software Engineering from Iowa State University, Ganesh Ram S. has a strong background in software engineering, having worked at HCL Technologies, where contributions were made to aerospace and banking software systems.