sadia peerzada
builder · engineer · researcher
I build clean, functional software · CS undergrad @ AMU
quiet frames, loud ideas
a thirty-second look inside the workshop
about me
i'm sadia. for as long as i can remember, the only constant has been taking things apart to understand them — devices, ideas, systems. at some point that habit became a discipline.
college gave it a name. most days it's not glamorous — it's debugging, rewriting, being wrong in public, and learning from people who are sharper than me. i'm not trying to sound impressive on this page; i'm trying to sound accurate.
the work itself — what i've built, where, with whom — is listed elsewhere so this doesn't turn into a brochure.
work
Folio
github ↗Swift · SwiftUI · CoreData · OpenAI API · iPad
AI-native study workspace for iPad — intelligently organises notes, flashcards, and resources, surfacing relevant content using on-device ML in real time. Designed for Apple Pencil and keyboard workflows with adaptive layout for iPad multitasking. Currently in active development.
DevMind
github ↗React.js · Node.js · WebSockets · MongoDB · Swift · Claude · Cloudflare
AI coding assistant as a Mac overlay — ScreenCaptureKit sees your screen, AssemblyAI transcribes voice in real-time, ElevenLabs TTS responds, and animated annotation pins drop directly on screen. Built with Claude and a Cloudflare Worker proxy.
UnifyOS
github ↗ESP32 · FreeRTOS · Python · REST API · Custom PCB
Real-time environmental safety system — custom PCB + ESP32, 5-sensor fusion with weighted scoring and EMA-based false-positive hardening. Non-blocking FreeRTOS async HTTP + hardware watchdog. Top 125 at Google Solution Challenge 2026 among 6,700+ prototypes submitted.
NL2Lean
github ↗Python · Lean 4 · Mathlib · LLM Pipeline · Groq API
Natural-language math research prototype — a plain-English problem becomes a Lean 4 theorem and a tactic proof that actually compiles against Mathlib. Formalise, sketch, synthesise, then loop the compiler's own errors back into the model until the proof passes; unverified attempts are logged separately and never counted toward accuracy.
Bareport
github ↗Go · Standard Library Only · CLI · SARIF · TLS
Zero-dependency network security assessment tool — live reconnaissance, port scanning, TLS inspection, DNS analysis, risk scoring and attack-surface reporting, built entirely on the Go standard library with no third-party code. The binary carries its own audit and can prove the claim about itself.
activity
loading recent activity from @sadiapeerzada…
highlights
- Top 125 / 6,700+ prototypes @ Google Solution Challenge 2026 — led UnifyOS (AI-powered IoT emergency response).
- 1st Place @ IEEE Game Jam — built Hollowbound, a 3D horror game in Unity; won ₹3,000 for design quality, technical execution, and gameplay experience.
- 2nd Place @ AMU Hackathon — built AMU Connect, a full-stack student data platform (React + Supabase); won ₹5,000.
- 3rd Place @ Google Winter of Code — built LifePal, an AI healthcare app for cancer patients; informed by direct interviews with doctors at AMU Medical College.
- 3rd Place @ IEEE Idea-Thon — built AMU StudySphere; recognised for practical academic impact and community-driven design.
- Joint Secretary @ IEEE Student Branch & IEEE Robotics and Automation Society — driving technical activities, coordination, and student outreach.
- WebMaster @ IEEE WIE — led an online workshop teaching GitHub and Python/Pygame; mentored students through building their own games and developed the chapter's official React website.
- Technical Lead @ FAAST — leading technical initiatives and development across the university's FinTech club.
- Multi-Role Contributor @ ICECI Conference 2026 — Reporting, Hospitality, Tracks Anchor.
- Research Paper Accepted @ ICMLDE 2026 — Authored UnifyOS: An AI-Powered IoT Platform for Accelerated Emergency Response; accepted for presentation, with publication anticipated in Elsevier proceedings.
- Co-authored: A Threat-Model-Centric Analytical Review of Retrieval-Augmented Generation Security — under submission @ ICMLDE.
public graph
code, issues, and experiments live on github — most of my portfolio is there before it's here.
builds in motion
the unpolished parts — solder smoke, failed runs, the one commit that finally greened — usually end up as reels before they end up here.
current thoughts
oct 2026
VoltIQ started with a simple question: what if energy systems could reason about their own consumption? building it turned power data into a problem of prediction, anomaly detection, and adaptive optimization.
july 2026
Currently building Talos, an automated adversarial agent that evaluates and attacks deployed AI agents by exploiting weaknesses in their tool graphs and permission boundaries.
may 2026
AugmentOS is teaching me that hardware-software co-design isn't something you read about — it's a set of lessons you earn by getting it wrong first.
march 2026
DevMind started as 'what if your IDE could hear you.' building the screen annotation layer turned into the real product.
early 2026
PIR OS is the most humbling project i've touched — turns out everything above the kernel is just a polite fiction sitting on a very cold foundation.
winter 2025
the hardest part of LifePal wasn't the AI — it was the interviews. doctors don't speak in feature requests; you have to listen for the workarounds.
more thoughts coming soon...