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