A Ph.D. student working on problems in electronic design automation.