External ProjectApr 27, 2016Go to Project Site Photo by Toa Heftiba on UnsplashDemoAndey RobinsGraduate Research AssistantMy research interests include functional verification, formal methods, and ICA verification.