Ji Ruan
Expertise in verification of autonomous systems, game theoretical aspect of autonomous systems, general game playing and learning, reasoning about social networks, healthcare information systems and virtual reality, ethics and social impact of artificial intelligence