Abdelrahman Hekal

Pronouns: he/him

Postdoc, Computing / Logic & Artificial Intelligence, Imperial College London

  • Joined July 2025

Names

Abdelrahman Hekal (Preferred)

Emails

****@ic.ac.uk (Confirmed)
,
****@ncl.ac.uk (Confirmed)
,
****@ncl.ac.uk (Confirmed)

Personal Links

Career & Education History

Postdoc
Computing / Logic & Artificial Intelligence, Imperial College London (imperial.ac.uk)
2025 – Present
 
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

Postdoc Advisor
2025 – Present
 
Coworker
2025 – Present
 

Expertise

OOD Detection
2025 – Present
 
Neural Network Verification
2025 – Present
 
Formal Methods
2020 – 2024
 
Cyber-Physical Systems
2020 – 2024
 
Falsification
2020 – 2024