@NUSComputing副教授。程式語言、驗證、分散式系統。前@UCLCS、@IMDEA_Software、@JetBrains。@KU_Leuven博士學位。