עופר שטריכמן

עופר שטריכמן

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

Font Resize
Contrast