Rance Cleaveland is CEO and a co-founder of Reactive Systems, Inc. RSI's technology derives from basic research Dr. Cleaveland performed in the areas of modeling and verification of concurrent systems. He is currently a Professor of Computer Science at the University of Maryland and is Executive Director of the Fraunhofer Center for Experimental Software Engineering. He previously served on the Compter Science faculty at SUNY at Stony Brook (1998-2005), and North Carolina State University (1989-1998).

Cleaveland holds a B.S. in Mathematics and Computer Science from Duke University, and an M.S. and a Ph.D. in Computer Science from Cornell University. He currently is on the editorial boards of three different research journals and has been a member of the program committees of over 35 different research conferences. He has headed over $6 million of federally-funded research projects over the past 15 years.

Scott Smolka is President and a co-founder of Reactive Systems, Inc. Smolka has been on the faculty at SUNY at Stony Brook since 1982. His work focuses on analysis techniques for reactive systems and also he has extensive experience in building verification tools, including Winston and the Concurrency Factory. He has extensive experience collaborating with industry both as a consultant and on research projects.

Smolka holds an A.B. and A.M. in Mathematics from Boston University and a Ph.D. in Computer Science from Brown University. His research has been supported by grants totaling over $7 million from the NSF, the Army, the Air Force, and IBM.

Steve Sims is Chief Technology Officer and a co-founder of Reactive Systems, Inc. He is a co-author of the initial version of the company's flagship Reactis product and continues to lead its development. Sims enjoys working closely with RSI's customers to ensure that the company's offerings exceed their expectations.

Prior to the inception of RSI, Sims worked as a researcher at the Naval Research Laboratory in Washington DC. His work focused on the development of efficient system modeling and verification tools.

Sims holds a B.S. in Mathematical Sciences from the University of North Carolina and an M.S. and a Ph.D. in Computer Science from North Carolina State University.

Michio Morimoto is Reactive Systems' Director of Asian Operations. Mr. Morimoto directs sales and marketing efforts for all of Asia except India and manages post-sales technical support for Japan.

Morimoto previously served as Reactive Systems' Director of Japanese Operations and led the successful 2007 launch of the company's Japan branch office. In that role, Morimoto managed the transition from a distributor to a direct-sales office while growing Japan sales for Reactive Systems' Reactis testing and validation package. The Japan branch also recorded some of the first sales for Reactis for C Plugin shortly after its release in October, 2007.

Morimoto is a 11-year veteran of the embedded software industry with a focus on deploying model-based-design solutions in the automotive industry. Prior to moving towards a focus on technical sales and marketing, Morimoto worked as a programmer for three years.

Harry Sims is Treasurer of Reactive Systems, Inc. Sims, a 28-year veteran of IBM, served as a Software Project leader and Manufacturing Industry representative. In the latter capacity he made presentations to many key IBM customers, including the board of General Motors. Prior to employment at IBM, Sims served as a Finance Officer in the U.S. Army attaining a rank of Captain.