Name:Gourav Takhar

Bio:

Gourav Takhar completed his PhD from IIT Kanpur with a focus on “synthesis for security and bug detection”. He has published research on security in esteemed conferences such as OOPSLA, TACAS, CAV, ASE, HOST, and ICCAD. He also got a best paper award in ICCAD for his work in validating hyper-properties for system-on-chip designs. He has been invited to present his work on multiple platforms, such as Academic Research and Careers for Students (ARCS) and Workshop on Research Highlights in Programming Languages (RHPL). More recently, he has been working on synthesizing techniques for program verification, specifically addressing Incorrectness Logic. Additionally, Gourav has developed tools for learning program verification and testing, which have been used in the courses “Program Analysis verification and Testing” (PAVT, CS639) and last semester in “Compiler Design” (CS335) courses at IIT Kanpur.

Country:India

Affiliation:Indian Institute of Technology - Kanpur

Research interests:Program Logic, Formal Methods, Verification, Application of LLM in Formal Methods, Hardware Security