Skip to content
View hira299's full-sized avatar

Highlights

  • Pro

Block or report hira299

Report abuse

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

Report abuse
hira299/README.md
banner

Typing SVG

ABOUT ME

name: Hira Ahmed
role: AI Systems & Automation Engineer | Cybersecurity Researcher
focus: Multi-agent architectures, deterministic RAG pipelines, cloud security automation
research: Neuro-symbolic AI — coupling neural LLM generation with Z3 SMT formal verification
          to guarantee provably correct, hallucination-free execution
credentials: Lead Author @ IEEE Transactions on Cloud Computing (under review)
             Invited Peer Reviewer @ IEEE Access (Web of Science, ResearcherID QIV-1552-2026)
             Creator of CloudFix-Bench — 105 verified cloud security benchmarks (Zenodo)
education: B.S. Cybersecurity @ Sir Syed University of Engineering & Technology (SSUET)
believes_in: Zero-hallucination AI, citation-enforced retrieval, async-first backends

RESAERCH & CITABLE ARTIFACTS

Lead Author, "Sentinel-Mesh: A Neuro-Symbolic Framework for Formally Verified Remediation of Cloud Misconfigurations" Coupled LLM patch synthesis with Z3 SMT verification, achieving an 83.81% remediation rate across 105 AWS cases with a 0% regression rate. Manuscript under review at IEEE Transactions on Cloud Computing (ID: TCC-2026-08-0693).

CloudFix-Bench : open-source benchmark of 105 verified cloud security cases, archived on Zenodo.

Verified Peer Reviewer, IEEE Access : invited by an Associate Editor to review 5 international manuscripts on AI privacy, vision transformers, and access control.

TECH STACK

Languages

AI / LLM / Agentic Frameworks

Backend & Cloud

Databases & Storage

Automation, Orchestration & Testing

Also: Async State Machines · Concurrency Locks · Dead Letter Queues (DLQ) · Agentic Workflows

footer

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