Joining Cadence Research Laboratories


I am excited to announce that I’ll be joining Cadence Research Laboratories in fall! I am going to continue doing research on effective, automatic techniques for analysis, verification, and testing of software. Most likely I’ll be moving to the Bay Area in October.

You can follow any responses to this entry through the RSS 2.0 feed. Both comments and pings are currently closed.

Comments are closed.