Software engineer — BSc Computer Science & Engineering, University of Moratuwa (2025). Backend work in Java and Python (FastAPI); interested in static analysis and developer tooling.
Project: Mutable Index Checker — compile-time index safety for mutable-length
collections (List/ArrayList) in Java. Mentors: Michael Ernst (UW), Martin Kellogg (NJIT).
- Merged the Grow-Only checker tests (+257 LOC Java) into checker-framework — typetools/checker-framework#7160
- Designed the qualifier hierarchy (
@GrowOnly,@CanShrink,@UnshrinkableRef), now documented in the developer docs - Final report · GSoC project page
- resume-jd-matcher — deterministic résumé↔JD scoring engine (Python/FastAPI) with a golden-set eval harness and an optional LLM suggestion layer
- Metadata-Mutation-Checker — PDF metadata forensics (FastAPI + Next.js), rule-based risk scoring, CI + live demo
- Social-Media-Application — Java Spring Boot REST backend + Angular/NativeScript client
Portfolio: https://damika.is-a.dev



