NASA Logo, National Aeronautics and Space Administration

Oksana Tkachuk, Ph.D.

As of June 2017, I moved to another job.
You can contact me using my LinkedIn page.

I am a computer scientist in the Robust Software Engineering group at the NASA Ames Research Center. I am interested in developing automated support for environment and test harness generation, needed to enable or scale software analysis techniques such as testing, static analysis, model checking, and symbolic execution.


NFM 2017, ISSTA 2017, SPIN 2017, VSTTE 2017


OCSEGen: Open Components and Systems Environment Generator

  • Modular code analysis and test harness generation
  • OCSEGen paper
JPF: Java PathFinder
  • Java analysis techniques, including model checking and symbolic execution
  • JPF web site
RACE: Runtime for Airspace Concept Evaluation
  • Framework for building actor-based distributed systems
  • RACE web site

profile pic


NASA Ames Research Center
Mail Stop 269-1
Moffett Field, CA 94035

Office: Bldg. 269, Rm. 235 Phone: (650) 604-1837

Email: oksana.tkachuk "at"

First Gov logo
NASA Logo -