Pandu Nayak ACM Doctoral Dissertation Award (1993) ACM Doctoral Dissertation Award USA - 1993 Honorable Mention citation For his dissertation "Automated Modeling of Physical Systems."