Pankaj Upadhyay

HDR Scholar | UQ | IITD --- Formal Analysis; Security; ProVerif

Greater Delhi Area

About

HDR scholar -- Formal Security Analysis

Experience

  • HDR Research Scholar at University of Queensland - Indian Institute of Technology Delhi
    Jan 2022 - Present · 4 yrs 6 mos

  • Member at UQ-IITD Student council
    Sep 2023 - Jul 2025 · 1 yr 11 mos

    Member of Students Council. Part of the team responsible for international affairs of the UQ-IITD academy.

  • Software Engineering Specialist at Baker Hughes
    Aug 2019 - May 2020 · 10 mos

  • EID-Intern at GE
    Jun 2018 - May 2019 · 1 yr