Alberto Sangiovanni-Vincentelli

Sangiovanni-Vincentelli named ACM fellow