ACM Fellows
United States – 2007
CITATION

For contributions to the specification and verification of reactive and hybrid systems.