[2][3] He has published in numerous areas including science policy, cybersecurity, and distributed systems.
[4] His research is in the area of concurrent and distributed systems for high-integrity and mission-critical applications.
[5] He was also elected a member of the National Academy of Engineering in 2011 for contributions to the design of trustworthy and secure computer systems.
[6] In 2003, he was awarded an honorary DSc degree by Newcastle University in the United Kingdom.
[8] In 2018 he and Bowen Alpern received the Dijkstra Prize for their 1985 paper "Defining liveness".