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
Using general profile