Dr. Ji Ruan
Room 1.17
Department of Computer Science
THE UNIVERSITY of LIVERPOOL
Liverpool, UK
Postcode: L69 3BX
Fax + 44 151 795 4294

My Research area: Specification and Verification of Multi-Agent Systems using formal methods.

My Supervisors: Prof. Wiebe van der Hoek, and Prof. Michael Wooldridge

Update:

• I moved to StFX University (Canada) in May 2009. Here is my new homepage.
• I defended my PhD thesis on 19th December 2008.
• As of 12th August, three months from the 5.12 Earthquake, there are 69225 people died, 17939 still missing, 374176 injured and 46 million people affected in total.
• As of 15th May, 19,509 people have been confirmed to be dead. More than 100,000 people have been rescued, but the projected death number is exceeding 50,000.
• On 12th May 2008, a mega earthquake hit China. Here is a call for helping Chinese people: check here. (update: we raised 2091.36 Pounds in two fund raising events for China Earthquake in the Univ.of Liverpool campus in May.)
• I was a co-chair for the 13th Student Session LoCo (Logic and Computation) of ESSLLI 2008.
• An incovenient truth for Ji Ruan's family in China: see how human's rights are violated (Problem partially solved.)

My publications and work in progress: @DBLP

• J. Ruan, W. van Der Hoek, and M. Wooldridge: Verification of Games in the Game Description Language. August 2008(Under Review).
• J. van Eijck, J. Ruan, and T. Sadzik: Action Emulation, Janurary 2008.
• H. van Ditmarsch, J. Ruan and W. van der Hoek: Model checking Dynamic Epistemics in Branching time. Formal Approaches to Multi-Agent Systems, Durham, UK, September, 2007.
• W. van der Hoek, J. Ruan and M. Wooldridge, Strategy Logics and the Game Description Language. Proceedings of LORI07 Workshop on Logic, Rationality and Interaction, Beijing, August 2007.
• H. van Ditmarsch and J. Ruan. Model Checking Logic Puzzles . Proceedings of MFI07 (Quatrimes Journes Francophones MODLES FORMELS de l'INTERACTION). Paris, May 2007.
• H.P. van Ditmarsch, J. Ruan, L.C. Verbrugge, Sum and Product in Dynamic Epistemic Logic. 2006. Journal of Logic and Computation.
• H.P. van Ditmarsch, J. Ruan, L.C. Verbrugge, Model Checking Sum and Product . 2005. Proceedings of the 18th Australian Joint Conference on Artificial Intelligence. Springer Lecture Notes in Artificial Intelligence. ( source / output of programs mentioned in this article).
• H.P van Ditmarsch, W. van der Hoek, R. van der Meyden, J. Ruan, Model Checking Russian Cards . 2005. (source of programs mentioned). Presented at MoChArt 05. Electronic Notes in Theoretical Computer Science.
• Master's thesis: Exploring the Update Universe. 2004 ILLC Publications, Master of Logic Thesis (MoL) Series.

My teaching:

2006/2007 Spring:
Integrated labs for

• COMP202 Complexity of Algorithms
• COMP204 Computer Systems and Their Implementation
• COMP210 Artificial Intelligence
• COMP212 Distributed Systems

• Tutorial for COMP521 Knowledge Representation and Reasoning.

My links:
Johan van Benthem, Jan van Eijck, Hans van Ditmarsch, Ron van der Meyden, Rineke Verbrugge, Barteld Kooi, Nicolas Troquard, Dirk Walther
Philosophy Department, Beijing University
The ILLC, Universiteit van Amsterdam
Department of Computer Science,University of Otago
Department of Computer Science,THE UNIVERSITY of LIVERPOOL

JiLife:

• My photo sharing Jiphoto page/ Flickr page.
• Activities for fun and health: Sports; Photography; Traveling