- š 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]
mukeshtiwari Goto Github PK
Name: Mukesh Tiwari
Type: User
Bio: Lecturer (Assistant Professor), Swansea University
Location: Swansea
Blog: mukeshtiwari.github.io