Our lab is home to talented graduate and undergraduate students who are passionate about advancing the field of verification and testing. They work closely with faculty on cutting-edge research projects and contribute to the development of innovative verification tools and methodologies. We welcome students from all backgrounds and are committed to providing an inclusive environment where everyone can excel in their research and academic pursuits.