My name is Mahesh Prabhu. I am a 3rd year grad student working with Prof.Jacob Abraham.
My research interests are formal methods based hardware Verification and Testing.

This page is Under construction and will be updated shortly

contact: mprabhu@cerc.utexas.edu