Skip to content
View mukeshtiwari's full-sized avatar
💭
keep_learning
💭
keep_learning
133 followers · 1.4k following

Achievements

Achievement: Arctic Code Vault ContributorAchievement: Pull Sharkx2

Achievements

Achievement: Arctic Code Vault ContributorAchievement: Pull Sharkx2

Highlights

  • Pro

Block or report mukeshtiwari

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.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

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

Report abuse
mukeshtiwari/README.md
  • 👋 Hi, I am Mukesh Tiwari
  • 👀 I am interested in formal verification (Coq theorem prover), election security, cryptography, and social choice theory.
  • 🌱 I’m currently learning ZKSNARK because I belive it can change the landscape of electronic voting.
  • 💞️ I’m looking to collaborate on formal verification of cryptographic primitives, vote-counting algorithms.
  • 📫 How to reach me [email protected]

Popular repositories Loading

  1. Idris Idris Public

    Codes related to Idris

    Idris 15 2

  2. Coq-automation Coq-automation Public

    Coq codes using various automation techniques

    Coq 4

  3. Thesis Thesis Public

    Repository for my Phd thesis. Finally, it's happening :)

    TeX 3

  4. Formally_Verified_Verifiable_Group_Generator Formally_Verified_Verifiable_Group_Generator Public

    Repo for computing group generators in publicly verifiable manner.

    Coq 3

  5. Semiring_graph_algorithm Semiring_graph_algorithm Public

    Semiring for short

    Coq 3

  6. Formally-Verified-MultiObjective-Optimisation Formally-Verified-MultiObjective-Optimisation Public

    Attempt to formalise this nice paper in semiring setting https://web.math.pmf.unizg.hr/glasnik/forthcoming/pGM6287.pdf

    Coq 3 1