I am a fourth year Ph.D. student at ETH Zürich, advised by Laurent Vanbever. My research looks at how to make networks more programmable and how to verify the correctness of programmable networks.
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.
Please see my CV for further information.
USENIX NSDI 2018. Renton, Washington, USA (April 2018).
CAV 2017. Heidelberg, Germany (July 2017).
ACM SOSR 2017. Santa Clara, CA, USA (April 2017).
ACM PLDI 2016. Santa Barbara, CA, USA (June 2016).
ACM SOSR 2015. Santa Clara, CA, USA (June 2015).