Education:

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


Industry:

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


Academia:

Postdoc at the Hebrew University, hosted by Orna Kupferman. Current: research scientist at Penn and visiting fellow at Yale.




Fisman on the fly.



Yet another Fisman.