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.


SPIN 2014, ISSTA 2014, JPF Workshop 2014

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 -