Meet the Team

At VeriConcurrent, our team brings together deep expertise in programming languages, formal verification, and hardware-software co-design. We are engineers, researchers, and builders—united by a passion for making parallel systems more reliable, scalable, and correct by construction. Whether it’s through cutting-edge verification techniques or custom IP development, we’re here to help forward-thinking hardware teams move faster with confidence.

Allen Wu

Allen Wu

Founder & Technical Lead

As the Founder and Technical Lead at VeriConcurrent, Allen spearheads the development of both software and hardwar...

Yang Shen

Yang Shen

Sales and Marketing Lead

As the Sales and Marketing Lead at VeriConcurrent, Yang Shen drives client engagement, market outreach, and go-to-...