SPLASH 2024
Sun 20 - Fri 25 October 2024 Pasadena, California, United States
SPLASH 2024 (series) / Kartik Nagar
Kartik Nagar

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

Show activities from other conferences

SPLASH 2024-profile
View general profile
OSZAR »