معرفی
Dr. Mukesh Tiwari is a Lecturer at Swansea University’s Department of Computer Science. His research ensures the correctness and security of software used in high-stakes public domains like electronic voting and sensitive data processing using formal methods and the Coq theorem prover. He is affiliated with the Faculty of Science and Engineering.
Research Interests
His work spans cryptography, electronic voting systems, software security, and social choice theory, with a focus on mathematically rigorous verification of critical systems.
Teaching
He actively teaches courses in cryptography and formal verification.
۰مقاله منتشرشده
