Ph.D. in Computer Science
Doctoral researcher in systems security, advised by Dr. Aravind Prakash. Research on WebAssembly debloating analysis and compiler-guided consistency in forced execution, with early-stage work on fault-injection attacks.
Curriculum Vitae
Doctoral Researcher in Computer Science at Binghamton University (State University of New York), advised by Dr. Aravind Prakash. Research focus: systems security, compiler and runtime analysis, WebAssembly security, and software debloating.
Doctoral researcher in systems security, advised by Dr. Aravind Prakash. Research on WebAssembly debloating analysis and compiler-guided consistency in forced execution, with early-stage work on fault-injection attacks.
Graduate research at Embodied Learning & Experience (ELX) Lab on AI-driven recommendation architectures and augmented reality.
First Class with Distinction. Co-invented Brain–Computer Interface system (Indian Patent No. 540976).
Published at DIMVA 2026 on WebAssembly binary bloat and attack surfaces. Built a compiler-guided forced-execution prototype that repairs a deciding operand and rechecks the selected branch condition. Using LLVM instrumentation, binary-bound metadata, and runtime validation, raised edge-condition consistency from 36.3% to 83.9% across 4,691 paired directed edges in 30 subjects. Operand repair changed program outputs or called-function sets on 31.1% of a separate 412-edge matched set. The associated manuscript is submitted; review pending. Current work investigates fault-injection attacks at an early stage.
Built backend APIs and a recommendation engine for a student mindfulness platform, and Android features for an augmented-reality STEM-learning assistant; contributed to two 2024 publications.
Developed machine learning algorithms for EEG neural signal processing and automated privacy-aware lifelogging systems.
Engineered high-throughput Apache Kafka bulk-messaging infrastructure and distributed microservices for the NIH All of Us Research Program and Children’s National Hospital.
Built automated security audit tooling with GitHub APIs for organization-wide code repository security governance.
Developed Java and Spring microservices, REST APIs, and Kafka IoT data pipelines for precision-medicine platforms and wearable health integrations.
Static reachability analysis of 8,461 WebAssembly binaries, with separate dynamic coverage measurements on controlled workloads finding 70–85% of functions unexecuted in those workloads. Simulated debloating quantifies potential attack-surface reduction.
Developed backend infrastructure and recommendation APIs for an automated mindfulness platform tailored for student healthcare interventions.
Investigated Situated Learning Theory through Objectica, an augmented-reality mobile assistant that teaches STEM concepts using everyday objects.
Proposed wearable-sensor data collection and machine-learning frameworks while examining their privacy and security implications.
Pratik Kamble received the Distinguished Reviewer Award at USENIX Security 2026 Artifact Evaluation in recognition of thorough, constructive reviews that strengthened the evaluation process and supported open science.
Co-captained Binghamton University's team to 13th place among 114 competitors, directing defensive firmware architecture and offensive exploit operations.
Reviewed and tested artifact availability, functionality, and reproducibility for USENIX Security 2026.
Indian Patent No. 540976 (Application No. 201921011129), co-invented to process EEG signals into device-control commands.
C, C++, Python, Java, SQL.
Linux, RISC-V, WebAssembly.
Static analysis, compiler instrumentation, dynamic coverage analysis, forced execution, debloating analysis, AFL++ experimentation.
LLVM, Spike, WABT, Binaryen, Wizard, Walrus, Emscripten.
Git, Docker, Spring Boot, REST APIs, Apache Kafka.