VinaLx PhD Student @ HKU Type Theory Apprentice & Video Game Addict