Mahua Roy

Mahua Roy is a Principal Software Engineer at Veracode since March 2016, specializing in the research and development of static analysis tools for identifying security vulnerabilities. Previous experience includes roles as a Senior Software Engineer at AdaCore, where Mahua designed and integrated static analysis tools into IDEs, and at SofCheck, Inc., where implementation of a persistent representation of intermediate language and language extensions for Ada 2005 took place. Early career highlights include compiler optimization work at STMicroelectronics and linker technology developments at Analog Devices. Mahua's foundational education includes a Bachelor of Engineering in Computer Science and Technology from IIEST, Shibpur, and a Master of Science in Computer Science from George Mason University.