Dr. Noam Rinetzky is a senior lecturer in the School of Computer Science at Tel Aviv University starting Oct'12. Beforehand, Noam was a research fellow working on the verification of concurrent heap-manipulating programs at Queen Mary, University of London, in the group of Professor Peter O'Hearn.
Noam obtained his Ph.D. from the School of Computer Science in Tel Aviv University on January 2009 (with distinction) under the guidance of Pro. Mooly Sagiv. Noam Rinetzky develops techniques and tools that aim to ensure the safety and correctness of software systems. He is an expert in verifying infinite state systems, in particular heap-manipulating concurrent programs, where he employed a variety of techniques ranging from abstract interpretation (static analysis) to separation logic, and reduction techniques.