Career Profile
I am a software engineer specializing in program analysis techniques to improve software security and robustness. I rely heavily on open source and enjoy contributing back.
Experiences
As a static analysis engineer, I’m leading the development of a cloud-native SAST (Static Application Security Testing) product.
Before, I contributed to the initial implementation of the company’s data platform for a software vulnerability database using Airflow and Kubernetes.
Publications
- Effective Unit Test Generation for Java Null Pointer Exceptions
ASE 2024: 39th IEEE/ACM International Conference on Automated Software Engineering
- Enhancing Dynamic Symbolic Execution by Automatically Learning Search Heuristics
TSE: IEEE Transactions on Software Engineering, Vol. 48, Issue 9, Sept. 2022