Dr. Sharon Shoham Buchbinder

You are here

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 >>

Tel Aviv University, P.O. Box 39040, Tel Aviv 6997801, Israel