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