- ๐ 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 (no, it is not blockchain).
- ๐๏ธ Iโm looking to collaborate on formal verification of cryptographic primitives, vote-counting algorithms.
- ๐ซ How to reach me [email protected]
mukeshtiwari / bottomupcs Goto Github PK
View Code? Open in Web Editor NEWThis project forked from ianw/bottomupcs
Bottom Up Computer Science
Home Page: www.bottomupcs.com