Mohammad Abdulaziz
Senior Lecturer ( Associate Professor) In Artificial Intelligence
Garching bei München, Bavaria, Germany
Summary
👤
Senior🎓
Top SchoolMohammad Abdulaziz is a lecturer in Artificial Intelligence at King’s College London with 11 years of experience bridging formal methods, theorem proving, and practical software verification. His research focuses on formalising pure mathematics and theoretical computer science in Isabelle/HOL and applying proof techniques to verify real-world software, including a formalisation of Green’s theorem during a Cambridge visiting post. He brings industry experience from Mentor Graphics and FPGA systems design, where he developed SMT-based AI cores and routing/placement tools, giving him a rare combination of hands-on engineering and deep formal expertise. His postdoctoral work at TUM and a PhD from ANU underpin a strong foundation in both theory and tool-building for proof assistants. Based in Garching bei München, he is comfortable moving between academic research and industrial-scale verification problems, often exploiting symmetry-breaking and SMT strategies learned during an SRI fellowship. Colleagues would note his knack for turning intricate mathematical proofs into reusable formal artefacts that scale to software verification tasks.
11 years of coding experience
11 years of employment as a software developer
Australian National UniversityMaster of Science Computer Engineering, Master of Science Computer Engineering at Cairo University
German, English, Arabic
Stackoverflow
1reputation
0reached
0answers
0questions
Github Skills (9)
ranking10
react9
science9
computer-science9
isabelle7
hol6
graph6
php3
validation2
Programming languages (4)
Github contributions (5)
nipkow/fds_ss20
Apr 2020 - Jul 2020
Contributions:29 commits, 23 pushes in 3 months
mabdula/mabdula.github.io
Apr 2023 - Jul 2026
Contributions:52 pushes, 1 branch in 3 years 2 months
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.