Noam Rinetzky's Home Page

My new home page in Queen Mary.



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

[Publications] [Talks] [Teaching] [Personal] [Private]