Current: Associate Professor at Ben-Gurion University. Before joining BGU I was a Research Scientists at the University of Pennsylvania and a Visiting Researcher at Yale. A while before that I was a Postdoc at the Hebrew University.


Worked at the verification groups of IBM Haifa Research Labs and Synopsys Inc.


BSc at the Technion. MSc and PhD at Weizmann advised by Amir Pnueli.

Fisman on the fly.

Yet another Fisman.