NASA Logo, National Aeronautics and Space Administration

Oksana Tkachuk, Ph.D.

I am a research engineer 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 2015, ASE 2015, JPF 2015

Selected publications:

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 -