Mukesh Tiwari
@keep_learning@mastodon.social
- Name
- Mukesh Tiwari
- First seen
- 2023-01-25T15:15:50.284541
- Instance
- mastodon.social
- About
Theorem proving (Coq), Electronic Voting, Cryptography, Research Fellow, University of Cambridge. https://mukeshtiwari.github.io/