Noam Rinetzky's Home Page
I am a post-doc researcher in the Logic and Semantics
group of the Department of Computer
Science
at Queen Mary, University of London.
Until April 2008, I was a PhD student at the Computer Science
Department of Tel Aviv University
under the supervision of
Prof. Mooly Sagiv.
Contacts
University:
Address: Open Space, School of Computer Science, Tel Aviv University, Tel Aviv 69978, Israel
Phone: +972-3-6405358
Email: maon at post dot tau dot ac dot il
Home:
Address: Ha'Shomron st' 17, Even Yehuda 40500, Israel
Phone: +972-9-8997593
Mobile: +972-54-7337435
Research Intrests
Program analysis |
Shape analysis |
Program understanding |
Software design |