Xiaowei Huang

Short Bio:

• From January 2009, I work as a postdoctoral research fellow in the School of Computer Science and Engineering, University of New South Wales, Australia. I am involved in a group led by Prof. Ron van der Meyden, working on an epistemic model checker MCK.
  
  
• In July 2008, I got my PHD degree from Academy of Mathematics and System Sciences, Chinese Academy of Sciences, under the supervision of Prof. Weiming Lu. After that, I visited Prof. Huimin Lin for 3 months at the Institute of Software, Chinese Academy of Sciences.

Research Themes:

• Model Checking
• Formal Semantics
• Security and Privacy

Software:

• MCK

Publications:

In International Journals:

• Xiaowei Huang, Li Jiao, and Weiming Lu. A precongruence format for should testing preorder. Journal of Logic and Algebraic Programming, 79 (3-5), pages 245--263, 2010. pdf
  
  
• Xiaowei Huang, Li Jiao, and Weiming Lu. Congruence formats for weak readiness equivalence and weak possible future equivalence. The Computer Journal, 53, pages 21--36, 2010. pdf

In Refereed Conferences:

• Xiaowei Huang. Bounded Planning for Strategic Goals with Incomplete Information and Perfect Recall. In the 12th International Conference on Autonomous Agents and Multiagent Systems (AAMAS2013), to appear. pdf
  
  
• Xiaowei Huang. Diagnosability in Concurrent Probabilistic Systems. In the 12th International Conference on Autonomous Agents and Multiagent Systems (AAMAS2013), to appear. pdf
  
  
• Xiaowei Huang and Cheng Luo. A logic of Probabilistic Knowledge and Strategy. In the 12th International Conference on Autonomous Agents and Multiagent Systems (AAMAS2013), to appear. pdf
  
  
• Xiaowei Huang, and Ron van der Meyden. Symbolic Synthesis of Knowledge-based Program Implementations with Synchronous Semantics. In the Fourteenth conference on Theoretical Aspects of Rationality and Knowledge (TARK 2013), to appear. pdf
  
  
• Xiaowei Huang, and Ron van der Meyden. Synthesizing Strategies for Epistemic Goals by Epistemic Model Checking: an application to Pursuit-Evasion Games. In the Twenty-Sixth AAAI Conference on Artificial Intelligence (AAAI-12), pages 772-778, 2012. pdf
  
  
• Xiaowei Huang, Kaile Su, and Chenyi Zhang. Probabilistic Alternating-Time Temporal Logic of Incomplete Information and Synchronous Perfect Recall. In the Twenty-Sixth AAAI Conference on Artificial Intelligence (AAAI-12), pages 765-771, 2012. pdf
  
  
• Xiaowei Huang, Cheng Luo, and Ron van der Meyden. Symbolic Model Checking of Probabilistic Knowledge. In the thirteenth conference on Theoretical Aspects of Rationality and Knowledge (TARK XIII), pages 177-186, 2011. pdf
  
  
• Xiaowei Huang, Patrick Maupin, and Ron van der Meyden. Model checking knowledge in pursuit-evasion games. In the 22nd International Joint Conference on Artificial Intelligence (IJCAI2011), pages 240-245, 2011. pdf
  
  
• Xiaowei Huang, Cheng Luo, and Ron van der Meyden. Improved bounded model checking for a fair branching-time temporal epistemic logic. In the Sixth Workshop on Model Checking and Artificial Intelligence (MoChArt 2010), 2010. Lecture Notes in Artificial Intelligence 6572, pages 95-111, 2011. (Longer version of AAMAS2010 paper). pdf
  
  
• Xiaowei Huang, and Ron van der Meyden. The complexity of epistemic model checking: clock semantics and branching time. In the 19th European Conference on Artificial Intelligence (ECAI2010), 2010. Lisbon, Portugal. pdf
  
  
• Xiaowei Huang, Cheng Luo, and Ron van der Meyden. Improved bounded model checking for a fair branching-time temporal epistemic logic (extended abstract). In the 9th International Conference on Autonomous Agents and Multiagent Systems (AAMAS2010), 2010. Toronto, Canada.
  
  
• Xiaowei Huang and Ron van der Meyden. Model checking games for a fair branching-time temporal epistemic logic. In Ann E. Nicholson and Xiaodong Li, editors, Australasian Conference on Artificial Intelligence, volume 5866 of Lecture Notes in Computer Science, pages 11--20. Springer, 2009. Melbourn, Australia. pdf
  
  
• Xiaowei Huang, Li Jiao, and Weiming Lu. Weak parametric failure equivalences and their congruence formats. In the 14th Computing: the Australasian Theory Symposium (CATS2008), James Harland and Prabhu Manyem, editors, volume 77 of CRPIT, pages 15--26. Australian Computer Society, 2008.
  
  
• Xiaowei Huang, Li Jiao, and Weiming Lu. What semantic equivalences are suitable for non-interference properties in computer security. In Sihan Qing, Hideki Imai, and Guilin Wang, editors, ICICS, volume 4861 of Lecture Notes in Computer Science, pages 334--349. Springer, 2007.
  
  
• X. W. Huang, L. Jiao, and W. M. Lu. A semantic preorder on refinement and fairness. In TASE, pages 139--148. IEEE Computer Society, 2007.
  
  
• Xiaowei Huang. A modular petri net used in synchronous communication of sequential processes. In Hamid R. Arabnia, editor, MSV, pages 194--200. CSREA Press, 2007.
  
  
• Xiaowei Huang and Jie Meng. A semantic preorder combining ST notion and fair testing semantic. In Hamid R. Arabnia and Pei Li Zhou, editors, FCS, pages 82--88. CSREA Press, 2007.

In Chinese Journals:

• Xiaowei Huang and Zhizhuo Zhao. A fault-tolerant election algorithm for distributed computing. Journal of Computer Research and Development 45(01), pages 93-98, 2008.
  
  
• Xiaowei Huang and Weiming Lu. A modular petri net for the asynchronous communications. Journal of System Simulation 19, pages 132-137, 2007.
  
  
• Xiaowei Huang and Zhizhuo Zhao. A fault tolerant corba infrastructure using oci. Journal of Computer Science, 31(6):123-126, 2004.

Unpublished Manuscripts:

• Xiaowei Huang and Ron van der Meyden. Symbolic Model Checking Temporal-Epistemic Logic. pdf

Recent Talks and Slides:

• Symbolic Synthesis of Knowledge-based Program Implementations with Synchronous Semantics. Chennai, India, Jan. 8th, 2013. Slides available here .
  
  
• Model checking games for a fair branching-time temporal epistemic logic. Melbourne, Australia, Dec. 5th, 2009. Slides available here.

Personal Photos: