获香港城市大学计算机科学博士学位。连续四次入选“中国高被引学者榜单”，中国计算机学会理论计算机科学专委会委员。