Valeria Maria Bertacco
Original record- Institution
- Stanford University
- Year
- 2003
- Country
- United States
- MGP identifier
- 101067
Dissertation: Achievable Scalable Hardware Verification with Symbolic Simulation
Mathematics Subject Classification: 68—Computer science
Advisor 1
- Oyekunle Ayinde OlukotunUniversity of Michigan · 1991
Students 4
| Name | Institution | Year | Students |
|---|---|---|---|
| Kai-hui Chang | University of Michigan | 2007 | 0 |
| Debapriya Chatterjee | University of Michigan | 2013 | 0 |
| Andrew Whitehouse DeOrio | University of Michigan | 2012 | 0 |
| Stephen Michael Plaza | University of Michigan | 2008 | 0 |