Ahmed El-Hassany

PhD Student

Ahmed El-Hassany

I am a third 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.

Recent Publications

Network-wide Configuration Synthesis.

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

CAV 2017. Heidelberg, Germany (July 2017).

BigBug: Practical Concurrency Analysis for SDN.

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

ACM SOSR 2017. Santa Clara, CA, USA (April 2017).

SDNRacer: Concurrency Analysis for Software-Defined Networks.

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

ACM PLDI. Santa Barbara, CA, USA (June 2016).

SDNRacer: Detecting Concurrency Violations in Software-Defined Networks.

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

ACM SOSR 2015. Santa Clara, CA, USA (June 2015).

Lectures

Discrete Event Systems

Assistant

Autumn 2017

Discrete Event Systems

Assistant

Autumn 2016

Discrete Event Systems

Assistant

Autumn 2015

Supervised Theses

Chronos: Finding the configurations recipe for fast convergence (S)

Christelle Gloor

Supervisors: Ahmed El-Hassany, Prof. Laurent Vanbever

Practical Concurrency Analysis for SDN (M)

Roman May

Supervisors: Ahmed El-Hassany, Prof. Laurent Vanbever