מערכות וסייבר
בינה מלאכותית לאבטחה, קריפטוגרפיה, רשתות וזירוז חומרה.
המקום שבו 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.
↗ אתר המעבדה