Guangzhou, Guangdong, China
Areas of Specialization
Formal Semantics
Temporal Logic