Princeton University

School of Engineering & Applied Science

Daijue Tang
Graduate Student
Graduation Year: 
2007
Thesis Title: 
Boolean Quantification
Advisor: 
Sharad Malik
Current Employer: 
Cadence Design Systems