@NUSComputing副教授。编程语言、验证、分布式系统。前@UCLCS、@IMDEA_Software、@JetBrains。@KU_Leuven博士。