Career Profile
I am a software engineer specializing in program analysis techniques to improve software security and robustness.
Experiences
Led the prototyping of a SaaS-based security analysis platform, designing its microservice
and DevOps architecture. Bootstrapped the company's AWS multi-account infrastructure, with
AWS Organizations and Terraform. Developed SAST (Static Application Security Testing)
microservices to validate the platform's extensibility.
Contributed to building the company’s initial data platform supporting 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