Research Grants
---------------

French-Israeli Cooperation in Computer Science
Topic: Synthesis of Self-Timed Systems
Four Annual Grants, 1991-1994
Total Amount: US$ 43000.-

Ministry for Science and Culture,
Niedersachsen, Germany
Topic: Formal Verification of Real-Time Systems
Total Amount, 1994-1995, shared with Dr.Orna Grumberg: 71,500.- DM

INTEL, Haifa, Israel
Topic: Verification and Synthesis of Modular Asynchronous Networks
Two Annual Grants, 1996-1997
Total Amount: US$ 21000.-