Contact

Jad Hamza
jad.hamza@epfl.ch
Postdoc in EPFL LARA

Publications

Thesis

I did my PhD in Liafa, Paris, under the supervision of Ahmed Bouajjani, and Constantin Enea.
Algorithmic Verification of Concurrent and Distributed Data Structures. 2015.