![Kartik Nagar](https://conf.researchr.org/getProfileImage/kartiknagar1/4dbbff50-8dae-4cfb-bb9f-a18e726be990/small.jpg?1711519661000)
Registered user since Fri 22 Apr 2022
Name:Kartik Nagar
Country:India
Affiliation:IIT Madras
Personal website: https://kartiknagar.github.io/
Research interests:Automated Formal Verification, Program Analysis, Programming Languages
Contributions
PLDI 2022-profile
View general profile
View general profile