Systems & Cyber
AI for security, cryptography, networks, and hardware acceleration.
Where AI meets systems engineering, from formally verifying neural networks to faster matrix multiplication, datacenter optimization, and the security and privacy implications of large-scale models.
Labs in Systems & Cyber
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.
Lab Website ↗
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.
Lab Website ↗
Schapira Lab, Prof. Michael Schapira
Applies deep learning and stochastic optimization to datacenter traffic management and networked systems, in collaboration with Microsoft Research.
Lab Website ↗
Schwartz Lab, Prof. Oded Schwartz
Develops faster-than-cubic matrix multiplication algorithms with direct applications to AI hardware and software acceleration.
Lab Website ↗