Reactive Systems logo
August 4, 2021

RSI Director Scott Smolka Awarded Edsger W. Dijkstra Prize in Distributed Computing

Cary, NC (May 18, 2021) -- Reactive Systems co-founder and Director Scott Smolka was recently awarded the Edsger W. Dijkstra Prize in Distributed Computing. The award to Smolka and Paris C. Kanellakis was in recognition of their paper CCS Expressions, Finite State Processes, and Three Problems of Equivalence which was published in Information and Computation in 1990. For a summary of the contributions of the work, see the award announcement.

About Reactive Systems. Reactive Systems, founded in 1999, is a software testing and validation company with offices in Cary, NC and Nagoya, Japan. The Company develops the Reactis family of tools that support the test and debug of embedded software applications developed using Simulink, Stateflow®, and C code.