Goran Piskachev

Applied Scientist @ AWS | Associate Editor, IEEE Software

Research interests: Program Analysis - Automated Reasoning - Software Security - Data Protection

I am an Applied Scientist at Amazon Web Services (AWS) in New York. My research uses automated reasoning to make software secure and privacy-preserving at industrial scale. I work at the intersection of program analysis, formal methods, and machine learning.

At AWS, I have worked on compositional taint analysis that finds security and privacy vulnerabilities in source code, which shipped to customers in Amazon CodeGuru. I have also developed techniques for detecting and protecting sensitive data across code, logs, and unstructured documents. Currently, I am developing deterministic reasoning techniques that complement generative AI, so that security assurance can keep pace with AI-accelerated software development.

I hold a PhD from Paderborn University, supervised by Prof. Dr. Eric Bodden. In my PhD thesis, I developed techniques that bring taint analysis for detecting security vulnerabilities closer to software developers. During my doctoral studies, I received a research grant through the Software Campus program, funded by the German Federal Ministry of Education and Research, for the project SecuCheck.

Contact

You can reach me at goran@piskachev.com.