מערכות וסייבר
בינה מלאכותית לאבטחה, קריפטוגרפיה, רשתות וזירוז חומרה.
המקום שבו AI פוגש הנדסת מערכות — מאימות פורמלי של רשתות נוירונים ועד כפל מטריצות מהיר יותר, אופטימיזציה של מרכזי נתונים והשלכות אבטחה ופרטיות של מודלים בקנה מידה גדול.
מעבדות במערכות וסייבר
Segev Lab — Prof. Gil Segev
Researches machine learning applications to cryptanalysis and the security and privacy implications of AI systems, exploring how AI is reshaping modern cryptography.
Katz Lab — Prof. Guy Katz
Develops formal methods for verifying the robustness and safety of neural networks and generative AI systems. Leads the EU-funded Robustifai consortium.
↗ אתר המעבדה
Schapira Lab — Prof. Michael Schapira
Applies deep learning and stochastic optimization to datacenter traffic management and networked systems, in collaboration with Microsoft Research.
Schwartz Lab — Prof. Oded Schwartz
Develops faster-than-cubic matrix multiplication algorithms with direct applications to AI hardware and software acceleration.