Hi I'm Kexuan (Kiana) Sun!
I'm a first year CS PhD student at University of Southern California (USC), Information Sciences Institute. I am advised by Prof. Satish Kumar Thittamaranahalli. I completed my bachelor's degree in software engineering at Huazhong University of Science and Technology (China), and my master's degree in computer science at USC.
My interests are mainly on Knowledge Representation and Reasoning, Constraint Programming, and some other subfields of Artificial Intelligence (AI).
- Hong Xu, Kexuan Sun, Sven Koenig, and T. K. Satish Kumar. A warning propagation-based linear-time-and-space algorithm for the minimum vertex cover problem on giant graphs. In Proceedings of the 15th International Conference on the Integration of Constraint Programming, Artificial Intelligence and Operations Research (CPAIOR), 567–584. 2018. [Full text]