STEVEN THOMAS SIMS
Chief Executive Officer
Reactive Systems, Inc.
341Kilmayne Dr.
Suite 101
Cary, NC 27511
sims@reactive-systems.com

 

Employment

  • September 2008-present.  Chief Executive Officer.
    2000-August 2008.  Chief Technology Officer.
    1999-2000.  Vice President.
    Reactive Systems, Inc. (RSI).
    • Co-founder and employee number one.
    • Led all aspects of design and development of RSI's product Reactis, a testing and validation package for Simulink and Stateflow.
    • Implemented Reactis test-generation engine.
    • Managed development of RSI's second product Reactis for C Plugin.
    • Implemented and maintain software to manage business, a web-based database-backed system that includes customer relationship management, expense tracking, quoting, invoicing, and software license tracking.
    • Created and maintain public RSI website.
    • Lead marketing and sales effort for Reactis.
    • Developed and deliver Reactis training course.
    • Managed launch of Japan branch office.
    • Principal Investigator for several Small Business Innovation Research projects:
      • 2000. Phase I."Advanced Formal Techniques for Dependable Reactive Systems." $99,726 awarded by National Science Foundation.
      • 2001-2003. Phase II. "Advanced Formal Techniques for Dependable Reactive Systems." $499,890 awarded by National Science Foundation.
      • 2006. Phase I "A Software Hub for High Assurance Model-Driven Development and Analysis." $100,000 awarded by Office of Naval Research.
      • 2007. Phase II "A Software Hub for High Assurance Model-Driven Development and Analysis." $375,000 awarded by Office of Naval Research.
  • 1999.  Postdoctoral Researcher. Dept. of Computer Science, State University of New York at Stony Brook.
  • 1997-1999.  Computer Scientist. Contract employee of ITT Systems Sciences working at Naval Research Laboratory, Washington, D.C.
    • Contributed to the development of the Salsa invariant checker, an automated theorem prover that offers the user interface of a model checker.
  • 1992-1997.  Research Assistant. Dept. of Computer Science, N.C. State University.
    • Contributed to the development of the Concurrency Workbench of North Carolina, a verification tool offering model-, equivalence-, and preorder-checking.
    • Contributed to the development of the Process Algebra Compiler, a front-end generator for the Concurrency Workbench of North Carolina.
  • 1991-1992.  Teaching Assistant. Dept. of Computer Science, N.C. State University.
  • 1991 (May-Dec).  Computer Programmer.  IBM, Research Triangle Park, NC.
  • 1990-1991.  Math Tutor.  Math Department, University of North Carolina.
  • Summer 1988.  Computer Operator.  IBM, Research Triangle Park, NC.

Education

  • North Carolina State University. PhD 1997, MS 1993 in Computer Science
  • University of North Carolina. BS 1991 in Mathematics and Computer Science, with highest honors

Patents

  • United States Patent 7,058,910 titled "Invariant Checking Method and Apparatus using Binary Decision Diagrams in Combination with Constraint Solvers" issued June 6, 2006.
  • United States Patent 7,644,398 titled "System and Method for Automatic Test-Case Generation for Software" issued January 5, 2010.

Publications