Academia:

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.


Industry:

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


Education:

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





Fisman on the fly.



Yet another Fisman.