Dan Iorga
Staff Engineer at Qualcomm
Cambridge, England, United Kingdom
Summary
👤
Senior🎓
Top SchoolDan Iorga is a Staff Engineer based in Cambridge with nine years of experience specializing in formal verification for CPUs and deep expertise in memory models. His career bridges industrial R&D and academia—from Qualcomm and Intel to Imperial College and TU Delft—where he has led verification, memory-interface specification, and testing efforts for multicore and embedded systems. He combines hands-on hardware-software co-design (including VLIW and RISC-V work) with advanced testing techniques like metamorphic and black-box interference testing. Dan holds a PhD in Computer Science and a cum laude MSc in Embedded Systems, reflecting a strong theoretical foundation applied to practical, auditable verification problems. Notably, his work often focuses on subtle concurrency and memory semantics issues that directly impact CPU correctness and performance.
9 years of coding experience
3 years of employment as a software developer
Doctor of Philosophy - PhD, Computer Science, Doctor of Philosophy - PhD, Computer Science at Imperial College LondonMaster of Science (cum laude), Embedded Systems, 9, Master of Science (cum laude), Embedded Systems, 9 at Delft University of TechnologyBachelor’s Degree, Automatic Control and Computer Science, 10, Bachelor’s Degree, Automatic Control and Computer Science, 10 at Universitatea „Politehnica” din București
Romanian, English, German, French
Github Skills (14)
xilinx5
lattice5
vivado5
building-blocks4
intel4
risc4
testing4
fuzzer3
fpga3
eda3
risc-v2
test-suite2
fuzzing2
vulkan1
Programming languages (2)
Github contributions (5)
mc-imperial/multicore-test-harness
Nov 2017 - Apr 2020
Contributions:394 commits, 324 pushes, 3 branches in 2 years 5 months
diorga/harpy
Jul 2021 - Nov 2021
Contributions:19 commits, 7 pushes in 3 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.