FormaliSE 2026
Sun 12 - Mon 13 April 2026 Rio de Janeiro, Brazil
co-located with ICSE 2026
Vini Kanvar

Registered user since Wed 25 Aug 2021

Name:Vini Kanvar
Bio:

Research scientist at IBM Research, India working on program analysis and cloud computing. PhD (Computer Science) on static analysis of dynamically allocated data from IIT Bombay. Authored patents and internationally recognized research outputs: presented in forums like Microsoft Research Lab, TCS Research Lab, ACM Grad Cohort at IIT Delhi, ACM Computing Surveys, Cadence Simulation Group, Synopsys Verification Group, International Symposium on Memory Management at Barcelona, and International Conference on Data Management.

Country:India
Affiliation:IBM India Research Lab
Research interests:Program analysis, Cloud computing

Contributions

Show activities from other conferences

Using general profile