Ahmed El-Hassany
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.
Research Area
Publications
Ahmed El-Hassany,
Petar Tsankov,
Laurent Vanbever, and
Martin Vechev
NSDI '18
Ahmed El-Hassany,
Petar Tsankov,
Laurent Vanbever, and
Martin Vechev
CAV '17
Roman May,
Ahmed El-Hassany,
Laurent Vanbever, and
Martin Vechev
SOSR '17
Ahmed El-Hassany,
Jérémie Miserez,
Pavol Bielik,
Laurent Vanbever, and
Martin Vechev
PLDI '16
Jérémie Miserez,
Pavol Bielik,
Ahmed El-Hassany,
Laurent Vanbever, and
Martin Vechev
SOSR '15
Supervised Theses
Chronos: Finding the configurations recipe for fast convergence
(SA)
Student: Christelle Gloor
Supervisors: Ahmed El-Hassany and Laurent Vanbever
Student: Christelle Gloor
Supervisors: Ahmed El-Hassany and Laurent Vanbever
Practical Concurrency Analysis for SDN
(MA)
Student: Roman May
Supervisors: Ahmed El-Hassany and Laurent Vanbever
Student: Roman May
Supervisors: Ahmed El-Hassany and Laurent Vanbever