OpenReview
.net
OpenReview
.net
Login
OpenReview
.net
Login
Mohamed Ghanem
PhD student, CISPA Helmholtz Center for Information Security
Joined
September 2023
Names
Mohamed Ghanem
(Preferred)
,
Mohamed Abdelhamid Ghanem
Emails
****@stud.uni-saarland.de
(Confirmed)
,
****@aucegypt.edu
(Confirmed)
,
****@gmail.com
(Confirmed)
,
****@cispa.de
(Confirmed)
Personal Links
Google Scholar
ORCID
LinkedIn
Career & Education History
PhD student
CISPA Helmholtz Center for Information Security
(cispa.de)
2024
–
Present
Researcher
MPI-SWS
(mpi-sws.org)
2022
–
2023
MS student
Universität des Saarlandes
(uni-saarland.de)
2021
–
2023
Undergrad student
American University in Cairo
(aucegypt.edu)
2016
–
2021
Advisors, Relations & Conflicts
No relations added
Expertise
Rough Path Theory
Present
Neural Differential Equations
2024
–
Present
Neuro-symbolic Computing
2022
–
Present
Reinforcement Learning
2021
–
Present
Deep Learning
2020
–
Present
Computer Vision
2020
–
Present
Federated Learning
2019
–
2021
Publications
Learning Reactive Synthesis from Model Checking Feedback
Frederik Schmitt
,
Matthias Cosler
,
Mohamed Ghanem
,
Vladimir Krsmanović
,
Bernd Finkbeiner
Submitted to ICLR 2026
Readers:
Everyone
Learning Representations Through Contrastive Neural Model Checking
Vladimir Krsmanović
,
Matthias Cosler
,
Mohamed Ghanem
,
Bernd Finkbeiner
Submitted to ICLR 2026
Readers:
Everyone
Flowing Through States: Neural ODE Regularization for Reinforcement Learning
Mohamed Ghanem
,
Bernd Finkbeiner
ICLR 2026 Poster
Readers:
Everyone
Learning Better Representations From Less Data For Propositional Satisfiability
Mohamed Ghanem
,
Frederik Schmitt
,
Julian Siber
,
Bernd Finkbeiner
NeurIPS 2024 spotlight
Readers:
Everyone
Co-Authors
Bernd Finkbeiner
Frederik Schmitt
Julian Siber
Matthias Cosler
Vladimir Krsmanović