|wies at cs.nyu.edu|
|+1 (212) 998 3293|
| 60 Fifth Avenue
New York, NY 10011
|Kshitij Bansal (co-advisor)|
|Wei Wang (co-advisor)|
My research focuses on program analysis and verification, automated deduction, concurrent software, and software productivity.
As a byproduct of my research, I have developed and contributed to a number of tools.
See also my DBLP entry for a complete list of my publications.