Xiushan "Shaun" Feng

11001 Lakeline Blvd. Building 2, Suite 100

Austin, TX 78717 USA

I work at Nvidia (Austin TX) as a design verification manager. Before Nvidia, I was a verification specialist at Technology Solutions Organization (TSO) of Freescale targeting tough design verification issues - at least 5 patents are in process based on my research ideas/tools. I also spent several years as a CAD engineer owned formal equivalence checking and model checking flows at Global Logic Analysis Team, CAD group of AMD after I got my Ph.D from UBC.

My research interests are in Automatic Formal Verification, Parallel Computing, and Distributed Systems. I am also interested in DSP High-Performance Computing.