I'm a senior software engineer at Swisscom. Currently working on building Knowledge graphs, streaming application, causing-area identification for faults in teleco environments.
I finished my PhD at ETH Zürich in 2019, 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.
Network-wide Configuration Synthesis: Published at NSDI'18 and CAV'17.
Concurrency Analysis for Software-Defined Networks. Published at SOSR'17, PLDI'16, and SOSR'15.
