Waqar Ahmed
Senior Member Of Technical Staff at Wind River
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 (25)
lambda-calculus10
sat-solver10
regression10
theorem10
sat10
theorem-proving10
python9
spin8
nusmv7
z36
prism6
tla6
architecture6
specification5
verification5
Programming languages (5)
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/pyFTreetool
Feb 2021 - Apr 2023
The pyFTree is a open source tool that takes a FT model as a python program and spit out minimal cutsets.
Contributions:2 PRs, 38 pushes, 1 branch in 2 years 2 months
takespython
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.