Michael Wazlowski works on design verification for Anton. He holds a B.S. in computer engineering from the University of Massachusetts at Amherst and a Ph.D. in computer engineering from Brown University. Prior to joining DESRES, Michael held positions as a Senior Staff Engineer at Qualcomm and Senior Engineer at IBM Enterprise Systems and Technology Group, where he served as a verification lead for a variety of ASIC projects. Michael has also worked as a Research Staff Member at the IBM TJ Watson Research Center, doing ASIC verification, digital design, and computer architecture research. In his free time, he enjoys playing bass and guitar, singing, recording and mixing music, playing tennis, driving his BMW 135i, and following the Red Sox.