London, UK · Cloud · Security · Research
Muhammad
Ibrahim
Post-quantum security researcher, cloud architect, and educator. I work at the intersection of cryptographic infrastructure, cloud engineering, and applied AI — and write about the challenges most organisations haven't started solving yet.
Experience
01Cloud Consultant & Dissertation Coordinator
- Promoted to Head of Year shortly after joining — one of the fastest academic leadership progressions in the department.
- Appointed Dissertation Coordinator supervising 200+ students and 20+ academic mentors across a single cohort.
- Deliver expert-level Azure and cloud security training aligned with Microsoft certification standards.
- Featured by Southampton Solent University as Programme Leader — published interview on Cyber Security career pathways.
- Invited to Ravensbourne University London as a guest industry expert.
- Part of QA instructor-led training (ILT) delivery programme for enterprise clients.
PQC Research Contributor — QTEST
- Contributed to QTEST — Quentangle's hybrid assurance platform for post-quantum cryptography validation in distributed systems.
- Co-authored paper with Vishnu Ajith, Muhammed Sihan, and Prof. Rajagopal Nagarajan (Imperial College London).
- Research spans wire-level PQC detection, Lean 4 formal verification, and Tamarin protocol modelling.
MSc — Network Management & Cloud Computing
- Dissertation on automating cloud infrastructure using Ansible and Terraform — foundational for infrastructure automation research.
- Specialisation in distributed systems, cloud-native DevOps, and network security architecture.
Senior Cloud Administrator — Infrastructure Services
- Recognised as Employee of the Year for exceptional infrastructure delivery and team leadership.
- Achieved 99.9% uptime; reduced maintenance costs by 30%; resolved 95% of issues within SLA.
- Led Azure deployments and implemented ITIL-aligned governance frameworks at scale.
System Administrator — Infrastructure Services
- Managed network, server, and storage infrastructure ensuring 24/7 uptime of core applications.
- Led incident, problem and change management policy development across the IT value chain.
Cloud Administrator
- Designed, deployed, and maintained Azure cloud infrastructure and services for enterprise clients.
- Monitored cloud performance and optimised cost and efficiency across environments.
Honours & Recognition
02Employee of the Year
ibex. · PakistanRecognised for exceptional infrastructure delivery, team leadership, and consistent outperformance across all SLA targets.
Promoted to Head of Year
QA Higher EducationPromoted to Head of Year shortly after joining — one of the fastest academic leadership progressions in the department.
Module Leader from Day One
QA Higher EducationAppointed Module Leader immediately upon joining — entrusted with full academic delivery and curriculum ownership from the first day.
Dissertation Coordinator
QA Higher EducationLeads dissertation supervision for 200+ students and 20+ academic mentors across a single cohort.
Featured by Solent University
Southampton Solent UniversityPublished as Programme Leader on Cyber Security career pathways and graduate industry readiness.
Invited Guest Expert
Ravensbourne University LondonInvited as industry expert to speak on cloud security and infrastructure — recognition beyond home institution.
QA ILT Delivery Programme
QA Ltd · EnterpriseSelected for QA's instructor-led training programme — delivering certified cloud training to enterprise clients at scale.
Azure Solutions Architect Expert
Microsoft · Sep 2025Microsoft's highest Azure architecture certification — expert-level validation of cloud solution design and implementation.
Microsoft Certified Trainer
Microsoft · MCTAuthorised to deliver official Microsoft training programmes — part of the global MCT community of certified cloud educators.
In the Field
03
Media Feature · QA Higher Education & Southampton Solent University
Featured: Why Cyber Security Is a Future-Proof Career
Named as Programme Leader by QA Higher Education (13,600+ followers) on LinkedIn and YouTube — speaking on Cyber Security career pathways and graduate industry readiness.
View on LinkedIn ↗
Teaching
Teaching cloud networking at Southampton Solent University
Speaking
Delivering cyber security training at London Royal Academy · 2025
Speaking
Cyber security workshop for Saudi Military personnel · London Royal Academy · 2025
Teaching
Computing curriculum review session · QA Higher Education · 2025
Teaching
Computing training session · QA Higher Education · 2026
Teaching
Full cohort — Computing training programme · QA Higher Education · 2026
Speaking
London Royal Academy · Millennium Hotel London · 2025
Honours
Employee of the Year & Promotion · ibex.
Honours
Best Project Award — received from Corps Commander, Major General of Pakistan · NUST
Academic
Academic recognition meeting with NUST university leadership
Research & Publications
0301 · Post-Quantum Cryptography
An Evidence-Driven Framework for End-to-End Validation of Post-Quantum Cryptographic Infrastructure
In ProgressQuentangle
Imperial College London
Unified pipeline integrating ACVP KAT testing (2,103 vectors), wire-level TLS observation, infrastructure boundary fingerprinting, and policy compliance enforcement into a SHA-256 tamper-evident audit dossier.
02 · Post-Quantum Cryptography
Detecting Post-Quantum and Hybrid TLS Deployments via Raw TLS Record Inspection
In ProgressQuentangle
QA Higher Education / Southampton Solent University · Ulster University
Wire-level detection of PQC and hybrid TLS key exchange via raw ServerHello byte parsing · Four-state classifier (CLASSICAL_ONLY, PQC_ONLY, HYBRID_CONFIRMED, UNKNOWN) · 38-endpoint real-world survey · 100% accuracy on controlled Azure testbed.
03 · Post-Quantum Cryptography
Topology-Driven Symbolic Verification of Post-Quantum Migration Paths using Tamarin
In Progress
Formal verification of PQC migration paths using Tamarin protocol modelling · Demonstrates that stronger deployment posture does not monotonically imply stronger symbolic security guarantees.
04 · Cloud Governance & Security
CRIS-SME: A Cloud Risk Intelligence Framework for Governance and Compliance in SME Cloud Environments
In Progress
A cloud risk intelligence framework addressing governance, compliance, and security posture management for SME cloud environments — bridging enterprise-grade risk frameworks with the operational realities of small and medium enterprises.
05 · DevOps & Infrastructure
Infrastructure Automation using DevOps
In Progress
Scalable infrastructure automation pipelines using Terraform, Ansible, and cloud-native CI/CD architectures.
06 · AI & Healthcare
Integrating Artificial Intelligence into Healthcare: Predictive Analytics for Early and Equitable Diagnosis
In Progress
AI-driven predictive analytics for early disease detection with equitable access across patient demographics.
07 · AI & Finance
AI-Powered Financial Fraud Detection Using Machine Learning: A Multi-Algorithm Approach
In Progress
Comparative evaluation of ensemble, deep learning, and classical ML algorithms for financial fraud detection.
08 · Intelligent Automation
Automation Bot for Real Estate Agents using RPA and Machine Learning
In Progress
Design and evaluation of an RPA and ML-powered automation bot for real estate workflow optimisation.
Writing
04Apr 2026
Why Post-Quantum Cryptography Is Urgent Now
The quantum computer hasn't arrived. The migration problem already has. Harvest-now-decrypt-later attacks are active, NIST standards are finalised, and enterprise migrations take 3–7 years.
12 min readNew
Apr 2026
Wire-Level PQC Detection: What Your TLS Handshakes Are Actually Saying
Most tools check cipher suite lists. Raw ServerHello byte parsing tells you what cryptographic guarantees your infrastructure is actually providing — not just what it is configured to support.
14 min readNew
Apr 2026
How to Prove Your Infrastructure Is PQC Compliant
Configuration audits tell you what your system supports. Evidence-driven validation tells you what it actually does — and produces proof you can put in front of an auditor.
13 min readNew
Coming
From Runtime Observations to Lean 4 Theorems: Bridging the Verification Gap
How formal verification translates live infrastructure observations into machine-verifiable cryptographic proofs using Lean 4 and Tamarin protocol modelling.
In preparation
Let's build something quantum-safe
06Open to research collaborations, speaking engagements, PQC consulting, and academic partnerships.