Skip to content
View rajathkotyal's full-sized avatar
🎯
Focusing
🎯
Focusing
41 followers · 22 following

Achievements

Achievement: Pair ExtraordinaireAchievement: QuickdrawAchievement: Pull Sharkx2Achievement: Arctic Code Vault Contributor

Achievements

Achievement: Pair ExtraordinaireAchievement: QuickdrawAchievement: Pull Sharkx2Achievement: Arctic Code Vault Contributor

Block or report rajathkotyal

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.

Content in all repositories owned by your account will be closed.
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
rajathkotyal/README.md

Rajath Kotyal

Software Engineer at Amazon · Automated Reasoning for AI-Generated Code

About

Software engineer building systems that catch errors in AI-generated code before they reach production — using SMT solvers and formal verification to validate LLM-produced infrastructure templates, CLI commands, and specifications. Previously worked on Kiro's spec-analysis features.

Contributor and reviewer on Kani, AWS's open-source Rust verifier, where I write verification harnesses for unsafe methods in the Rust standard library and review external contributions as part of the Verify Rust Std Library initiative.

MS in Information Technology and Information Security from Carnegie Mellon University. Previously a Product Developer at BMC Software (2021–2023)

Focus Areas

  • Formal verification of LLM-generated infrastructure and code
  • Agentic workflows with automated reasoning in the loop
  • Distributed systems reliability and trust guarantees
  • Memory safety verification in Rust

Open Source

Contact

LinkedIn

Pinned Loading

  1. core core Public

    Forked from Openmesh-Network/core

    [Open-source Contribution] Openmesh core is node software for interacting with the openmesh network to collect, seed and fetch data chosen by the Openmesh DAO.

    Go

  2. LucidSearch LucidSearch Public

    A query engine initiative to reduce AI Hallucinations and provide concrete insights.

    Go 3

  3. RiskyBusiness RiskyBusiness Public

    [Open-source contribution] downloads 10K+ : PyPi. A Python library containing various functions to analyze the risk of a business.

    Jupyter Notebook 2

  4. Optimum_Model_Selector_Classification Optimum_Model_Selector_Classification Public

    Test out various classification models like SVM,GaussianNB,K-Nearest etc. on your dataset by applying various hyper parameters In real time & choose the best model for your data.

    Python 4 1

  5. TradeSpade TradeSpade Public

    An AI-based automated Stock Market Assistant which performs thousands of stock market analytical operations on 2700 major stocks every single day. It's integrated as a facebook messenger bot for ea…

    Python 1

  6. BlazeChain BlazeChain Public

    A private decentralized network to share data across 2 or more clients. Uses Proof of Work (PoW) to maintain consensus, data is immutable, and encryption protocols are in place to keep messages pri…

    HTML 1