Mukesh Tiwari
Lecturer at Swansea University
Swansea, Wales, United Kingdom
Summary
👤
Senior🎓
Top SchoolMukesh Tiwari is a lecturer at Swansea University with 13 years of experience bridging formal methods and practical software engineering. He completed a PhD at ANU on formal verification of electronic voting and has held research posts at Oxford, Cambridge and Melbourne focused on applying theorem provers—especially Coq—to verified cryptography, voting systems, program verification and networking protocols. At Cambridge he developed an algebraic, machine-checked library intended to be instantiated and extracted to OCaml so protocol designers can obtain provably correct implementations. He combines deep theorem-proving expertise with hands-on functional programming (Haskell, OCaml) and a background in competitive programming, which informs a pragmatic approach to mechanized proofs and verified code. Mukesh is open to collaborations that turn formal guarantees into usable software, and his thesis and artifacts are available publicly on GitHub.
13 years of coding experience
3 years of employment as a software developer
Australian National UniversityIntegrated Post Graduate, Information Technology, Integrated Post Graduate, Information Technology at ABV-Indian Institute of Information Technology and Management
Github Skills (62)
javascript10
python10
java10
vscodium10
creative-commons10
cpp10
questions-and-answers10
visual-studio-code-extension9
proof-assistant9
dependent-types9
algorithms9
voting9
vscode-extension9
coq9
vscode9
Programming languages (19)
Github contributions (5)
mukeshtiwari/EncryptionSchulze
Jul 2017 - Jan 2022
Schulze scheme with encrypted ballots
Contributions:484 commits, 14 PRs, 390 pushes in 4 years 6 months
schemeballotsschulzeencrypted
mukeshtiwari/Coq-automation
Jan 2019 - Oct 2021
Contributions:20 commits, 17 pushes, 1 branch in 2 years 9 months
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.