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.


ASE 2015, JPF 2015, NFM 2016, ASE 2016

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 -