I am a fourth year Ph.D. student at ETH Zürich, advised by Laurent Vanbever. The main objective of my research is to develop intent-based methods and tools to operate computer networks more efficiently. Namely, I leverage formal methods (such as SMT solvers) to automatically synthesize provably-correct network configurations from high-level policies. Doing so, my work enables to combine the advantages of centralized network management offered by Software-Defined Networking (SDN) while retaining all the advantages of the existing distributed routing protocols (e.g., OSPF and BGP) such as scalability and robustness.

Before joining ETH Zürich, I had a great privilege to work with Prof. Scott Shenker, where I worked on designing next architecture of Software-Defined Networks (SDN) and building systems for troubleshooting existing SDN controllers.

I received a master degree in Computer Science from University of Delaware in 2011 and a bachelor degree in Computer Engineering from Islamic University of Gaza in 2008.

Current Projects

Publications

NetComplete: Practical Network Wide Configuration Synthesis with Autocompletion

Ahmed El-Hassany, Petar Tsankov, Laurent Vanbever, Martin Vechev

Network-wide Configuration Synthesis

Ahmed El-Hassany, Petar Tsankov, Laurent Vanbever, Martin Vechev

BigBug: Practical Concurrency Analysis for SDN

Roman May, Ahmed El-Hassany, Laurent Vanbever, Martin Vechev

Network-wide Configuration Synthesis

Ahmed El-Hassany, Petar Tsankov, Laurent Vanbever, Martin Vechev

SDNRacer: Concurrency Analysis for Software-Defined Networks

Ahmed El-Hassany, Petar Tsankov, Laurent Vanbever, Martin Vechev

Efficient Communication and Collection with Compact Normal Forms

Edward Z Yang, Giovanni Campagna, Omer Agacan, Ahmed El-Hassany, Abhishek Kulkarni, Ryan Newton

SDNRacer: Detecting Concurrency Violations in Software-Defined Networks

Jeremie Miserez, Pavol Bielik, Ahmed El-Hassany, Laurent Vanbever, Martin Vechev

Troubleshooting Blackbox SDN Control Software with Minimal Causal Sequencess

Colin Scott, Andreas Wundsam, Barath Raghavan, Aurojit Panda, Andrew Or, Jefferson Lai, Eugene Huang, Zhi Liu, Ahmed El-Hassany, Sam Whitlock, H.B. Acharya, Kyriakos Zarifis, and Scott Shenker

Design and Implementation of a Unified Network Information Services

Ahmed El-Hassany, Ezra Kissel Daniel Gunter, Martin Swany

Scalable Integrated Performance Analysis of Multi-Gigabit Networks

Ezra Kissel, Ahmed El-Hassany, Guilherme Fernandes, Martin Swany, Dan Gunter, Taghrid Samak, Jennifer M Schopf