wies at cs.nyu.edu |
+1 (212) 998 3293 |
60 Fifth Avenue
Room 403 New York, NY 10011 |
Postdocs |
Sebastian Wolff |
Ph.D. Students |
Devora Chait |
Mark Goldstein (co-advisor) |
Ekanshdeep Gupta |
Elaine Li |
Nisarg Patel |
Jacob Salzberg (co-advisor) |
Group Alumni |
Kshitij Bansal (co-advisor) |
Siddharth Krishna |
Chanseok Oh |
Zvonimir Pavlinovic |
Daniel Schwartz-Narbonne |
Yan Shvartzshnaider |
Wei Wang (co-advisor) |
I am a Professor of Computer Science at the Courant Institute of New York University and a member of the Analysis of Computer Systems Group. See my curriculum vitae for further details.
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.