Skip to content
View sajjadanwar0's full-sized avatar

Block or report sajjadanwar0

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
sajjadanwar0/README.md

Sajjad Khan

Researcher and engineer working on agentic AI, multi-agent LLM systems, and distributed systems infrastructure. I am especially interested in optimistic concurrency control for shared LLM state, formal verification of multi-agent coordination protocols, and the engineering of reliable autonomous AI infrastructure.

Background

Eight+ years of software-engineering experience across distributed backends, production AI systems (RAG over compliance content, and full-stack applications, in addition to the research above.

Pinned Loading

  1. token-budgets token-budgets Public

    Rust 1

  2. mac-consistency-pilot mac-consistency-pilot Public

    Rust

  3. sbus sbus Public

    Rust

  4. mac-consistency mac-consistency Public

    TLA

  5. token-budgets-formals token-budgets-formals Public

    Rocq Prover

  6. sbus-experiments sbus-experiments Public

    Python