I am working on and will be working on Formal Methods, in particular, Model Checking.

I am interested in writing Haskell program and designing new languages.

I used to be a sessional lecturer at Monash University but now working on blockchain technology (in particular, Smart Contracts, Formal Methods application) at AntFin, China.