conf.researchr.org / Oksana Tkachuk
![Oksana Tkachuk](https://conf.researchr.org/getProfileImage/oksanatkachuk/b6345a95-a203-426b-b897-0ed44e474b4e/small.jpg?1721544098000)
Registered user since Fri 4 Nov 2016
Name:Oksana Tkachuk
Country:United States
Affiliation:Amazon Web Services
Personal website: https://www.linkedin.com/in/oksanatkachuk/
Research interests:Software verification, automated reasoning
Contributions