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
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