- ๐ 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]
-
Notifications
You must be signed in to change notification settings - Fork 0
Config files for my GitHub profile.
mukeshtiwari/mukeshtiwari
Folders and files
Name | Name | Last commit message | Last commit date | |
---|---|---|---|---|
ย | ย | |||
Repository files navigation
About
Config files for my GitHub profile.
Topics
Resources
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published