Oksana Tkachuk
I am a research member of Trusted Systems Innovation Group at Fujitsu Laboratories of America.I am interested in software analysis techniques such as model checking, static analysis, symbolic
execution, and run-time analysis. My ongoing projects include automated environment generation
for modular program analysis and its application to industrial-size Java applications.
- Contact Info
Fujitsu Laboratories of America
1240 East Arques Ave.
Sunnyvale, CA 94085 USA
Phone: (408) 530-4616
Fax: (408) 530-4515
Email: oksana@us.fujitsu.com
- Publications
- CV