Yuan Lu was a founder of NextOp in 2006 where he served as their CTO until being acquired by Atrenta in 2012. At Atrenta he holds the title of chief verification architect.
Prior to NextOp, Lu was a principle scientist at Broadcom.
Lu holds a PhD in formal verification from Carnegie Mellon University and a BSc from Shanghai Jiao Tong University.
