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.