Waqar Ahmed
Senior Member Of Technical Staff at System Analysis and Verification (SAVe) Lab
Ottawa, Ontario, Canada
Summary
👤
Senior🎓
Top SchoolWaqar Ahmed is a Senior Member of Technical Staff based in Ottawa with nine years of experience specializing in functional safety, formal methods, and dependability of critical embedded systems. A TUV Rheinland–certified FS engineer, he applies safety standards (IEC 61508, ISO 26262, EN50128, IEC 62304, ASPICE) across rail, automotive, smart grids and healthcare, and leads hazard analyses using HAZOP, RBD, FTA, ETA, DFT, FMEA and BN. He combines hands-on system software and hypervisor expertise from roles at Wind River and BlackBerry QNX with deep formal-reasoning skills—authoring 20+ peer-reviewed papers and advancing HOL/ACL2 integrations to compute real-world system dependability. Known for translating rigorous theorem-proving results into practical safety cases, he uniquely bridges academic research and industrial safety certification.
9 years of coding experience
3 years of employment as a software developer
Post Doctorate, Formal Methods, Post Doctorate, Formal Methods at Concordia UniversityDoctor of Philosophy - PhD, Information Technology, A, Doctor of Philosophy - PhD, Information Technology, A at National University of Science and Technology
Github Skills (26)
lambda-calculus10
theorem-proving9
spin7
nusmv7
aerospace6
tla6
specification5
formal-verification5
requirements5
tlaplus5
retrieval-augmented-generation4
probability4
architecture4
prism4
z34
Programming languages (6)
Github contributions (5)
ahmedwaqar/HOL
Feb 2021 - Jun 2024
Canonical sources for HOL4 theorem-proving system. Branch `develop` is where “mainline development” occurs; when `develop` passes our regression tests, `master` is merged forward to catch up.
Contributions:25 pushes, 4 branches in 3 years 4 months
pythonsatsat-solverlogicsources
ahmedwaqar/Formal-Dependability
Feb 2017 - Dec 2021
Contributions:62 pushes, 18 branches in 4 years 11 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.