Education

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.

M.S. in Computer Science

Graduate research at Embodied Learning & Experience (ELX) Lab on AI-driven recommendation architectures and augmented reality.

B.E. in Computer Engineering

First Class with Distinction. Co-invented Brain–Computer Interface system (Indian Patent No. 540976).

Academic & Research Experience

Doctoral Security Researcher

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.

Research Assistant · ELX Lab

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.

Undergraduate Researcher

Developed machine learning algorithms for EEG neural signal processing and automated privacy-aware lifelogging systems.

Industry Experience

Software Engineer

Engineered high-throughput Apache Kafka bulk-messaging infrastructure and distributed microservices for the NIH All of Us Research Program and Children’s National Hospital.

Software Engineer Intern

Built automated security audit tooling with GitHub APIs for organization-wide code repository security governance.

Software Engineer

Developed Java and Spring microservices, REST APIs, and Kafka IoT data pipelines for precision-medicine platforms and wearable health integrations.

Publications & Preprints

Dead Weight: Analyzing Code Bloat and Its Security Implications in WebAssembly Binaries

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.

An AI Approach to Support Student Mental Health

Developed backend infrastructure and recommendation APIs for an automated mindfulness platform tailored for student healthcare interventions.

Investigating Situated Learning Theory Through an Augmented Reality Mobile Assistant for Everyday STEM Learning

Investigated Situated Learning Theory through Objectica, an augmented-reality mobile assistant that teaches STEM concepts using everyday objects.

Life Logging: A Practicable Approach

Proposed wearable-sensor data collection and machine-learning frameworks while examining their privacy and security implications.

Awards & Recognition

Distinguished Reviewer Award

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.

Academic Service & Leadership

Embedded Capture the Flag (eCTF): Team Co-Captain

Co-captained Binghamton University's team to 13th place among 114 competitors, directing defensive firmware architecture and offensive exploit operations.

Artifact Evaluation Committee Member

Reviewed and tested artifact availability, functionality, and reproducibility for USENIX Security 2026.

Patents & Intellectual Property

System and Method for Performing User Activity Using an Electroencephalogram (EEG)

Indian Patent No. 540976 (Application No. 201921011129), co-invented to process EEG signals into device-control commands.

Technical Skills

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.