סיבוכיות חישובית

חתן פרס טיורינג ופרס ישראל תרם תרומות יסודיות לאוטומטים, אלגוריתמים הסתברותיים, סיבוכיות וקריפטוגרפיה, וסייע לבנות את התשתית האקדמית של מדעי המחשב בישראל