FormaliSE 2023
Dates to be announced Melbourne, Australia
co-located with ICSE 2023
Vini Kanvar

Registered user since Mon 15 May 2017

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 output: 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 Research
Research interests:Program analysis, Cloud computing

Contributions

Show activities from other conferences

ICSE 2023-profile
View general profile