Abhinav Mir (August)
Founding Senior Engineer at Ambra
Ambra is an autonomous RCM platform for EMS agencies — denials management, clean claims, and a voice-first scribe.
Other projects
Couch 2 Court - A Couch-to-5K for basketball, on iOS. A guided interval timer that builds on-court conditioning: timed dribble runs, sprints, and shooting drills with spoken cues and beeps, plus a lock screen and Dynamic Island timer. You tap how each session felt and the difficulty adapts. No accounts, no tracking, works offline.
cioppino - Weekly AI-tics tracker: runs the same essays through GPT-4o-mini/gpt-5-mini across technical, fiction, non-technical, persuasive, reflective, and business genres, judging repeated AI writing tics and overused words/phrases. Feeds live data to the deslopify and degpt skills.
ultraball - Multiplayer Pokémon battles entirely in your terminal —
ssh ultraball.xyz, pick a team from the full national dex, and challenge anyone online. Real type/stat/status mechanics, leveling and evolution, asynchronous play. Go + Postgres + Redis behind an SSH TUI; nothing to install.
WalkReminder - A lightweight macOS menu-bar app that nudges you to step away from your desk and walk on a schedule you set. Click to download the .dmg and drag it to Applications.
Libreprose - A distraction-free writing environment built for long-form work — drafting, outlining, and revising book-length manuscripts.
Vinyl - Generate looping spinning-vinyl videos from any audio file, in your browser — drop a track in, get a shareable MP4 out.
HAR → cURL - Paste a browser HAR archive, get clean, reproducible cURL commands for every request — useful for debugging, reverse-engineering, and sharing repros.
asm.garden - A LeetCode-style playground for x86-64 assembly: small problems, in-browser assembler, instant feedback. A gentler on-ramp to low-level programming.
· archived
Thoughtforest - AI-assisted note-taking that treats notes as a linked graph, surfacing connections between ideas as you write.
· archived
Strudel - Spin up and tear down ephemeral Ethereum testnets for teams, so a whole engineering org can share forks and state without stepping on each other.
· archived
Elcair - Point at an Ethereum contract ABI, get a typed TypeScript SDK — no hand-rolled wrappers, no drift between contract and client.
· archived
profs.fyi - Search university faculty by research interest and recent publications — find the right advisor, reviewer, or collaborator without trawling department pages.
· archived
Research
Security, privacy, and formal methods in healthcare systems.
EmberDB - FHIR-native time-series storage for critical care. A specialized database treating FHIR Observations as first-class citizens, benchmarked against InfluxDB, TimescaleDB, and QuestDB on MIMIC-III data.
Healthcare Voice Agent Security - Evaluating AI voice platforms deployed in healthcare settings, covering prompt injection, PHI extraction, and synthetic voice attacks with a novel FHIR-compliant testing framework.
Privacy-Preserving Healthcare Cost Prediction - Custom secure multiparty computation protocol enabling joint model training across hospitals, insurers, and public health agencies without exposing raw data.
zkDNA - Zero-knowledge proofs for negative STR DNA match verification, allowing proof of non-match in forensic contexts without revealing actual genetic data.
Formal Verification of FHIR Resources - Applying lightweight formal methods (Alloy) to verify structural integrity and safety invariants of HL7 FHIR data models.
Reading MUMPS at Scale - An open tree-sitter grammar for MUMPS, the language behind the VA's VistA EHR. Parses 98.6% of VistA's 33,951 routines into an analyzable syntax tree, validated against YottaDB, with call-graph and runtime-code-generation measurements.
Published: Nature-Inspired Swarm Optimization in ANNs (IEEE)
Full research details →
Interested in collaborating? Email me at sabhinav at bu dot edu.
Education
- Boston University - MS Computer Science, CyberSecurity (2024)
- Vellore Institute of Technology - BS Computer Science (2021)