Princeton University

School of Engineering & Applied Science

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

Daijue Tang received her B.S. degree from Tsinghua University in China and her M.A. and PhD from Princeton University. Her graduate research focused on Boolean logic algorithms and applications in Electronic Design Automation. After graduation, she joined Cadence Design Systems to work on the verification algorithms and tools.