|
 |
|
I am a Visiting Researcher
at Computer Science Department , Carnegie Mellon University.
I will start as a Postdoctoral Research Fellow at Ed Clarke's group in January, 2015.
I am also a member of the COMIC multi-site research group.
Research topics:
My current research is focusing on
- discrete optimization and satisfiability
- reactive synthesis
- computational social choice
- algorithm design
I am(was) a (co-)chair:
AI-2015 Tutorial chair, Australasian Joint Conference on AI
EXPLORE 2015, The 2st Workshop on Exploring Beyond the Worst Case in Computational Social Choice
EXPLORE 2014, The 1st Workshop on Exploring Beyond the Worst Case in Computational Social Choice
CP DP 2013, CP 2013 Doctoral Program
SymCon 2012, The 12th Int. Workshop on
Symmetry in Constraint Satisfaction Problems
SymCon 2011, The 11th Int. Workshop on
Symmetry in Constraint Satisfaction Problems
Recent (Senior) Program Committee member:
CPAIOR 2015, The 12th International Conference on Integration of Artificial Intelligence (AI) and Operations Research (OR) techniques in Constraint Programming.
SAT 2015, The 18th International Conference on Theory and Applications of Satisfiability Testing.
AAMAS 2015, International Joint Conference on Autonomous Agents and Multi-agent Systems.
ADT 2015, The 4th International Conference on Algorithmic Decision Theory.
AAAI 2015, The 29th AAAI Conference on Artificial Intelligence.
ECAI 2014, The 21st European Conference on Artificial Intelligence.
CP 2014, The 20th International Conference on
Principles and Practice of Constraint Programming.
PRICAI 2014, The 13th Pacific Rim International Conference on Artificial Intelligence.
ComSoc 2014, Fifth International Workshop on Computational Social Choice.
CSPSAT 2014, Fourth International Workshop on the Cross-Fertilization Between CSP and SAT.
IJCAI 2013, The 23rd International Joint Conference on Artificial Intelligence
AAAI 2013, The 27th AAAI Conference on Artificial Intelligence
AI 2012, The 25th Australasian Joint Conference on Artificial Intelligence
ModRef 2012, The Eleventh International Workshop on Constraint Modelling and Reformulation
CP 2012, The 18th International Conference on
Principles and Practice of Constraint Programming
AAAI 2012, The 26th AAAI Conference on Artificial Intelligence
CPAIOR 2012,
The 9th International Conference on Integration of AI and OR Techniques
in Constraint Programming for Combinatorial Optimzation Problems
SymCon 2011, The 11th International Workshop on
Symmetry in Constraint Satisfaction Problems
ModRef 2011, The Tenth International Workshop on Constraint Modelling and Reformulation
AAAI 2011, The 25th AAAI Conference on Artificial Intelligence
IJCAI 2011, The twenty-second International Joint Conference on Artificial Intelligence
|
|
|
|
