I am currently a graduate student at the University of Michigan studying computer science engineering. My research area is hardware verification, working under Professor Valeria Bertacco.