Category:Israel Prize in exact science recipients who were computer scientists