Reactive Systems Chairman to Head NSF Division

Cary, NC (June 27, 2018) -- Rance Cleaveland, Chairman of the Reactive Systems Board of Directors, has been named Director of the Division of Computing and Communication Foundations (CCF) of the National Science Foundation (NSF) . CCF supports nearly $200 million in annual research and education projects in computer science. Cleaveland starts a three-year tenure July 9, 2018. Cleaveland is excited to give back to the NSF, an organization that has both supported his personal research into software verification and played a key role in the launch of Reactive Systems, Inc. with its award of a Small Business Innovation Research grant in 1999.

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.