Software verification, Security, Authentication, Cloud, Programming Languages, static analysis
Department: School of Computer Science
Faculty: Exact Sciences
Tel Aviv University

Dr. Rinetzky Noam

I am a (tenure-track) senior lecturer in the School of Computer Science at Tel Aviv University since October 2012. From October 2010 until October 2012 I was a Royal Academy of Engineering/EPSRC Research Fellow at the School of Electronic Engineering and Computer Scienceat Queen Mary, University of London, and prior to that I was a post-doctoral research associate in Peter O’Hearn’s Separation Logic and Local Reasoning group at Queen Mary. I did my doctoral studies the Computer Science Department of Tel Aviv University, where I was supervised by Prof. Mooly Sagiv. Before my doctoral studies, I worked for a few years in IBM Haifa Research Laboratory on secure distributed storage systems as a research staff member in the Object Store project.


I am interested in the technical challenges that arise when designing, engineering, abstracting, and verifying infinite state concurrent programs and distributed systems. These challenges cannot be addressed by a single silver bullet. Thus, my scientific interests, listed below, are quite broad.

  • Programming Languages
  • Program verification
  • Program logics
  • Abstract interpretation (aka static analysis)
  • Concurrency and concurrent programming
  • Distributed systems
Sign up for
our events

    Life Science