Sign In

Mukesh Tiwari

Research Fellow at University of Melbourne

Mukesh Tiwari is a Research Fellow at the University of Melbourne, specializing in verified confidentiality for weak memory concurrency. Prior to his current role, Mukesh pursued his PhD at the Australian National University, focusing on the formal verification of electronic voting algorithms. His academic background includes studies at ABV-Indian Institute of Information Technology and Management, where he completed integrated postgraduate courses in Information Technology. Mukesh's research interests encompass using theorem provers to enhance software reliability, with experience in theorem proving applied to electronic voting, cryptography, and program verification. He is skilled in algorithm implementation and ensuring correctness by adhering to specifications. Besides academia, Mukesh enjoys tackling math and programming challenges, having been a competitive programmer during his undergraduate studies. His career journey includes roles as a lecturer at IIIT Bhubaneswar, a Haskell Programmer at Parallel Scientific, a Teaching Assistant at the Government of India, and a Summer Intern at ArcelorMittal Research and Development Center.

Mukesh Tiwari
Add to my network

Location

Travancore, Victoria, Australia