Skip to content
View hira299's full-sized avatar

Highlights

  • Pro

Block or report hira299

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. Markdown is supported. This note will only be visible to you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
hira299/README.md

HIRA AHMED

Bridging Neural AI with Symbolic Formal Verification, Corrective RAG, and Cloud Resilience

[ ABOUT & RESEARCH PHILOSOPHY ]

I am a Cybersecurity researcher and Systems Engineer pursuing my B.S. in Cybersecurity at Sir Syed University of Engineering and Technology (SSUET).

My work sits at the intersection of Formal Methods, Cloud Security, and Deterministic AI Systems. Rather than relying on heuristic prompt wrappers, I engineer neuro-symbolic architectures that couple neural LLM generation with mathematical constraint solvers (Z3 SMT) to guarantee provably correct, hallucination-free execution.

  • Lead Author of Sentinel-Mesh: Coupled LLM patch synthesis with Z3 SMT formal verification for AWS cloud remediation (Preprint DOI: 10.21203/rs.3.rs-10674271/v1, under review at IEEE Transactions on Cloud Computing).
  • Open-Source Benchmark Architect: Creator of CloudFix-Bench (105 verified cloud security benchmarks, Zenodo DOI: 10.5281/zenodo.20975067).
  • Verified Peer Reviewer: Invited reviewer for IEEE Access (5 verified reviews on Web of Science, ResearcherID: QIV-1552-2026).
  • Production Systems Engineering: Built fault-tolerant 7-stage Python ETL state machines processing 28,000+ records (5.6x speedup) and optimized AWS infrastructure overhead by 34%.

[ CITABLE ARTIFACTS & PEER REVIEW ]

[ TECH ARSENAL ]

Languages & Core Systems



Cloud, Databases, Security & DevOps



AI, Orchestration & Formal Methods

[ FLAGSHIP SYSTEMS & RESEARCH REPOSITORIES ]

├── 🛡️ sentinel-mesh                     # Neuro-symbolic framework coupling LLMs with Z3 SMT for cloud remediation
├── 🔍 browser-forensics-reconstruction   # Deterministic DFIR log timeline reconstruction engine (Gemini + Heuristics)
├── 📄 vektor-ats-diagnostics            # High-performance Document-VQA semantic evaluation engine for enterprise HR
├── 🚨 aegis-realtime-voice-dispatch     # Low-latency streaming vocal command analysis & geospatial emergency routing
├── 💰 Financial-Profitability-Guardrail # Postgres state machine & DLQ monitor ensuring 100% financial data integrity
└── ☁️ Cloud-Security-Audit-Platform      # Event-driven AWS security audit pipeline against 50+ CIS benchmarks

[ CONNECT & COLLABORATE ]

Pinned Loading

  1. sentinel-mesh sentinel-mesh Public

    Neuro-symbolic framework for autonomous remediation of cloud infrastructure misconfigurations using Z3 SMT verification and LLM patch generation

    Python 2 1

  2. Cloud-Security-Audit-Compliance-Automation-Platform Cloud-Security-Audit-Compliance-Automation-Platform Public

    Autonomous AWS security audit pipeline. Scans IAM, S3, CloudTrail, EC2, and RDS, classifies findings against CIS Benchmarks, scores risk 0–100, and delivers a formatted compliance report with remed…

  3. AI-Autonomous-Email-Agent AI-Autonomous-Email-Agent Public

    Stateful AI email agent that autonomously handles incoming conversations. Maintains full thread memory in Google Sheets, generates context-aware replies via Groq/Llama 3, and responds with zero man…

  4. Autonomous-Competitor-Intelligence-SEO-Pipeline Autonomous-Competitor-Intelligence-SEO-Pipeline Public

    Weekly autonomous pipeline that scrapes competitor content, runs AI-powered SEO gap analysis via Gemini, and creates structured ClickUp tasks with briefs attached. JSON-mode enforced output, defens…

    1

  5. Financial-Profitability-Guardrail Financial-Profitability-Guardrail Public

    Real-time budget monitoring system built on a PostgreSQL state machine. Tracks project burn rates, detects HEALTHY → WARNING → CRITICAL transitions, and fires webhook alerts only on state changes e…

  6. thread-sync-visualizer thread-sync-visualizer Public

    Real-time visualization of concurrent thread synchronization using semaphores and mutex locks. Demonstrates Producer-Consumer race condition prevention with live state rendering.

    TypeScript 1