CV
Education
- Integrated Post Graduate, Indian Institute of Information Technology & Management, Gwalior, India, 2009
- Ph.D in Formal Verification of Electronic Voting, Australian National University, 2020 (expected)
Work experience
- Lecturer (2012 - 2015)
- International Institute of Information Technology, Bhubaneswar, India
- Duties included: Teaching (C programming, Cryptography, Compiler Design) and Supervision (Masters students in their final year project).
- Haskell Developer (2011 - 2012)
- Parallel Scientific, Colorado, USA
- Duties included: researching and prototyping high performance software programs, mainly linear algebra algorithms, written in Haskell for financial companies.
- Technical Assistant (2009 - 2011)
- Government of India, Kolkata, India
- Duties included: developer for automating the day-to-day job, including enforcing the security policies of the organization.
Awards
- HDR Fee Remission Merit Scholarship
- ANU PhD Scholarship (International)
- Full Scholarship to attend DeepSpec Summer School 2018, Princeton University
- Travel Scholarship to attend Marktoberdorf Summer School 2019
Skills
- Theorem Proving, Cryptography, Electronic Voting, Software Verification
- Programming Language: Coq, Haskell, OCaml, Lean, Idris, Racket, Clojure, Python, C/C++
- Language: Hindi, English, Bhojpuri, Bengali
Publications
Talks
Verifiable homomorphic tallying for the schulze vote counting scheme
Conference proceedings talk at VSTTE 2019: Verified Software. Theories, Tools, and Experiments, New York City, NY, USA
Final PhD Presentation
Talk at Australian National University, Canberra, Australia
Machine Checked Properties of the Schulze Method
Workshop proceedings talk at Hot Issues in Security Principles and Trust (HotSpot 2021), Online