Mohamed Ghanem
Contact
Mohamed Ghanem
Reactive Systems Group
CISPA Helmholtz Center for Information Security
eMail: mohamed.ghanem at cispa.de
Phone: +49 681 87083 2101
Building: E 9.1 Room: 1.12
About me
I am a Ph.D. student at CISPA Helmholtz Center for Information Security and Saarland University.
I am also a member of the Graduate School of Computer Science.
Publications
Learning Better Representations from Less Data for Propositional Satisfiability
With Frederik Schmitt, Julian Siber, and Bernd Finkbeiner.NeurIPS Spotlight Paper.
Thirty-Eighth Annual Conference on Neural Information Processing Systems (NeurIPS)
FLoBC: A Decentralized Blockchain-Based Federated Learning Framework
With Fadi Dawoud, Habiba Gamal, Eslam Soliman, Hossam Sharara, Tamer El-Batt.Fourth International Conference on Blockchain Computing and Applications (BCCA)
Theses
| NeuRes: A Neural Resolution Prover of Unsatisfiability | Master Thesis, Saarland University, 2024 |
| FLoBC: A Decentralized Blockchain-Based Federated Learning Framework | Bachelor Thesis, The American University in Cairo, 2021 |