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.
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.
Schwartz Lab — Prof. Oded Schwartz
Develops faster-than-cubic matrix multiplication algorithms with direct applications to AI hardware and software acceleration.