עופר שטריכמן

עופר שטריכמן

עופר שטריכמן מהפקולטה להנדסת תעשייה וניהול הינו אחד הזוכים בפרס CAV – Computer Aided Verification לשנת 2021 על תרומות חלוציות למסד התיאורטי והיישומי של Satisfiability Modulo Theories (SMT).

שינוי גודל גופנים
ניגודיות