Dr. Sharon Shoham Buchbinder

Dr. Sharon Shoham is a senior lecturer in the School of Computer Science at Tel Aviv University.

Her main areas of research are formal verification of systems and program analysis.


Tel Aviv University makes every effort to respect copyright. If you own copyright to the content contained
here and / or the use of such content is in your opinion infringing, Contact us as soon as possible >>