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 invited talks/panels:
  • Stanford Intelligent Systems Laboratory (June’20)
  • PARC, a Xerox company (Dec’20)
  • Explanation and, Human-centric CP @From Constraint Programming to Trustworthy AI (CPTAI 2020, workshop, Sep’20)
  • International Conference on Principles and Practice of Constraint Programming, CP'19
    • Waterloo ML + Security + Verification Workshop'19
  • AAAI Spring Symposium on Verification of Neural Networks (VNN19)
  • In Search for a SAT-friendly Binarized Neural Network Architecture, Google Research, Mountain View, USA, 2019 and NASA, Mountain View, USA, 2019


An organizer/chair of :
  • A co-chair of 3rd Workshop on Formal Methods for ML-Enabled Autonomous Systems
  • A workshops co-chair of 2020 International Joint Conference on Artificial Intelligence (IJCAI is largest AI conference)
  • A co-chair of ReCoML20 (Resource-Constrained Machine Learning Workshop)
  • 2nd Workshop on Formal Methods for ML-Enabled Autonomous Systems, SAT/SMT/AR Summer School 2019


    • Recent program committees:
    • (Area Chair)International Joint Conferences on Artificial Intelligence'20
    • Formal Methods in Computer-Aided Design'20
    • International Conference on the Integration of Constraint Programming, Artificial Intelligence, and Operations Research'20
    • (senior PC) AAAI Conference on Artificial Intelligence'20
    • International Joint Conferences on Artificial Intelligence'19
    • (senior PC) AAAI Conference on Artificial Intelligence'19
    • (senior PC) International Conference on Principles and Practice of Constraint Programming, CP'19
    • 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

    Projects

    Publications