Abdelrahman Hekal (Preferred)
Abdelrahman Hekal
Researcher, Zeroth Research
Postdoc, Computing / Logic & Artificial Intelligence, Imperial College London
Joined
July 2025
Names
Emails
****@ic.ac.uk (Confirmed)
****@ncl.ac.uk (Confirmed)
****@ncl.ac.uk (Confirmed)
****@zeroth.org (Confirmed)
Personal Links
Career & Education History
Researcher
Zeroth Research (zeroth.org)
2026 – Present
Postdoc
Computing / Logic & Artificial Intelligence, Imperial College London (imperial.ac.uk)
2025 – 2026
PhD student
Computer Science, University of Newcastle (newcastle.edu.au)
2020 – 2024
MS student
Computer Science, Newcastle University, UK (newcastle.ac.uk)
2019 – 2020
Undergrad student
Mechanical Engineering, Newcastle University, UK (newcastle.ac.uk)
2016 – 2019
Advisors, Relations & Conflicts
Expertise
OOD Detection
2025 – Present
Neural Network Verification
2025 – Present
Formal Methods
2020 – 2024
Cyber-Physical Systems
2020 – 2024
Falsification
2020 – 2024