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.