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:
  • Verification of Binarized Neural Networks: Challenges and Opportunities, Workshop on (July’22) Logic-based Methods in Machine Learning, Haifa, Israel.
  • Industrial Research Career Path as a Sequence of Constraint Satisfaction Problems, (July’22) Doctoral program at the 27th International Conference on Principles and Practice of Constraint Programming, Haifa, Israel.
  • Minimal Correction Sets and Cores in Core-Guided Algorithms: Analysis and Enumeration (Sep’22) Constraint programming group, Université Laval (virtual)
  • 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 :
  • (co-chair) Automated Deduction for Machine Learning (workshop@CADE), 2023
  • (Doctoral program co-chair) FMCAD'2023
  • (co-chair) 6th Workshop on Formal Methods for ML-Enabled Autonomous Systems. 2023
  • (co-chair) 5th Workshop on Formal Methods for ML-Enabled Autonomous Systems , 2022
  • (Doctoral program co-chair) IJCAI'2022
  • 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:
    • (Senior PC) IJCAI'2023
    • (Senior PC) CAV'2023
    • (Senior PC) AAAI'2022
    • (PC member) FMCAD 2022 (student forum)
    • (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