![]() |
Anupam Shrivastavaanupams (at) vt.edu Dept. of Electrical and Computer Engineering, Phone: (preferred), |
Brief Bio Research Interests Educational Background Professional Background Extra Curricula Contact Information |
I successfully defended my Master's thesis on 25th September, 2008. The work mainly concentrated on customizing verification techniques for the analysis of Biological models. My advisor is Professor Michael Hsiao. My thesis can be found on the Virginia Tech library website here.
Formal Verification and Testing of VLSI Systems. My research focused on hybrid verification techniques consisting of applications of SAT and ATPG.
Virginia Tech, Blacksburg, VA
Synopsys (India) Pvt. Ltd., Bangalore, India
I was a member of the Inter-IIT Cricket team of IIT Kharapgur in the seasons 2002-2003 and 2003-2004. I was also the captain of the R.K. Hall of Residence Cricket Team in my Senior Year in 2003-2004. I was awarded the Special mention in Sports by the Director of IIT Kharagpur as a result.
Anupam Shrivastava
Hit Counter |