Information Trust Institute block of abstract images
Information Trust Institute block of abstract images

Shobha Vasudevan

Profile Photo
Associate Professor, Electrical and Computer Engineering
Ph.D., Electrical and Computer Engineering, The University of Texas at Austin, 2007 (Advisor: Dr. Jacob A. Abraham)

Prof. Vasudevan is interested in formal verification of hardware, SoC verification, model checking, term rewriting systems, system level equivalence checking, RTL verification and validation, multicore processor verification, and analog verification.

(217) 333-8164
shobhavatillinois [dot] edu