...
He has received the NSF Young Investigator Award (1994), the CAV Award (2009, for fundamental contributions to the development of high-performance Boolean satisfiability solvers) as well as several best paper and teaching awards. He serves/has served on the program committees of leading conferences and editorial boards of leading journals. He is a fellow of the IEEE. He has published numerous papers, book chapters and a book (Static Timing Analysis for Embedded Software) describing his research.
| Attachments | ||
|---|---|---|
|