VMware Research | Nina Narodytska

Senior Researcher

Palo Alto, CA, US

Prior to VRG, she was a researcher at Samsung Research America. She completed postdoctoral studies in the Carnegie Mellon University School of Computer Science and the University of Toronto. She received her PhD from the University of New South Wales in 2011. Nina works on developing efficient search algorithms for decision and optimization problems. She was named one of "AI's 10 to Watch" young researchers in the field of AI. She also received an Outstanding Paper Award at AAAI 2011 and an outstanding program committee member award at the Australasian Joint Conference on Artificial Intelligence 2012.

Recent program committees:

AAAI Conference on Artificial Intelligence'18
International Joint Conferences on Artificial Intelligence'18
Object-oriented Programming, Systems, Languages, and Applications'18
(Senior PC) AAAI Conference on Artificial Intelligence'19

Publications

A SAT-Based Approach to Learn Explainable Decision Sets
Abduction-Based Explanations for Machine Learning Models
Constrained Image Generation Using Binarized Neural Networks with Decision Procedures
Core-Guided Minimal Correction Set and Core Enumeration
Formal Analysis of Deep Binarized Neural Networks
Learning Optimal Decision Trees with SAT
Network Approximation using Tensor Sketching
Reasoning about Neural Networks: a Taxonomy of Current Approaches
RelGAN: Relational Generative Adversarial Networks for Text Generation
Simple and Precise Static Analysis of Untrusted Linux Kernel Extensions
Simple Black-Box Adversarial Attacks on Deep Neural Networks.
Verifying Properties of Binarized Neural Networks